QPC: A Compiler from Physical Models into Qualitative Differential Equations.

James M. Crawford, Adam Farquhar, Benjamin Kuipers

Browse the full AAAI paper archive.