Higher-order derivative constraints in qualitative simulation (1991)

by B Kuipers, C Chiu, D D Molle, D Throop
Venue:Artificial Intelligence