Numerical interval simulation: combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems (1995)

by Marcos Vescovi, Adam Farquhar, Yumi Iwasaki
Venue:In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence