Making Use of Contradictory Behavior Information in Qualitative Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Qualitative Modeling and Heterogeneous Control of Global System Behavior
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
Abstractions for hybrid systems
Formal Methods in System Design
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
Current Topics in Artificial Intelligence
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Causes of ineradicable spurious predictions in qualitative simulation
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automated symbolic reachability analysis: with application to delta-notch signaling automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Order of magnitude qualitative reasoning with bidirectional negligibility
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Use of timed automata and model-checking to explore scenarios on ecosystem models
Environmental Modelling & Software
Automatica (Journal of IFAC)
Hi-index | 0.00 |