Time-Aware Relational Abstractions for Hybrid Systems
Citation
Copy to clipboard
Mover, S., Cimatti, A., Tiwari, A., & Tonetta, S. (2013, 29 September – 4 October). Time-aware relational abstractions for hybrid systems. Paper presented at the International Conference on Embedded Software (EMSOFT ’13), Montreal, Canada.