Author:
Camara Javier,Girard Antoine,Gossler Gregor
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Multi-layered simulation relations for linear stochastic systems;2021 European Control Conference (ECC);2021-06-29
2. Lazy Abstraction-Based Controller Synthesis;Automated Technology for Verification and Analysis;2019
3. Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11
4. Supervisory control for collision avoidance in vehicular networks using discrete event abstractions;Discrete Event Dynamic Systems;2016-05-13
5. Multiscale time abstractions for long-range planning under uncertainty;Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16;2016