Visible to the public Biblio

Filters: Keyword is 1446730  [Clear All Filters]
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee.  2015.  Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
Wei Wei, Kangjin Kim, Georgios Fainekos.  2016.  Extended LTLvis Motion Planning Interface. IEEE International Conference on Systems, Man, and Cybernetics.
Bardh Hoxha, Georgios Fainekos.  2016.  Planning in Dynamic Environments Through Temporal Logic Monitoring. Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems.