Author:
Saddem Rim,Naud Olivier,Godary Dejean Karen,Crestani Didier
Subject
Control and Systems Engineering
Reference21 articles.
1. Al-A’Abed, M., Majali, T., Omar, S., Alnawaiseh, A., Al-Ayyoub, M., and Jararweh, Y. (2015). Building a prototype for power-aware automatic parking system. Proceedings of 2015 IEEE Int. Renewable and Sustainable Energy Conference, IRSEC 2015.
2. Alur, R., De Alfaro, L., Henzinger, T.A., and Mang, F.Y. (1999). Automating modular verification. In Int. Conf. on Concurrency Theory, 82–97. Springer, Berlin, Heidelberg.
3. A theory of timed automata;Alur;Theoretical Computer Science,1994
4. Agricultural robots for field operations: Concepts and components;Bechar;Biosys-tems Engineering,2016
5. Timed Automata: Semantics, Algorithms and Tools, 87–124;Bengtsson,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献