Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation.

Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger

Browse the full MODELS paper archive.