| | 2006 | Ratschan, Stefan
She, Zhikun | [Calmet, Jacques]
[Ida, Tetsuo]
[Wang, Dongming] | | Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article | |
| | 1995 | Madden, Peter
[Green, Ian] | Calmet, Jacques
Campbell, John A. | | A General Technique for Automatic Optimization by Proof Planning
In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), 80-96 | Proceedings Article | |
2 |
| Carlucci-Aiello, Luigia (ed.) |
| |
1 |
| Cassandras, Christos (ed.) |
| |
1 |
| Cialdea Mayer, Marta (ed.) |
| |