Ioannis Filippidis

According to our database, Ioannis Filippidis authored at least 13 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Layering Assume-Guarantee Contracts for Hierarchical System Design.

Ioannis Filippidis, Richard M. Murray

Proc. IEEE, 2018

2017

Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.

Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray

Proceedings of the Robotics Research, The 18th International Symposium, 2017

2016

Symbolic construction of GR(1) contracts for systems with full information.

Ioannis Filippidis, Richard M. Murray

Proceedings of the 2016 American Control Conference, 2016

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.

Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

A multi-paradigm language for reactive synthesis.

Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Symbolic construction of GR(1) contracts for synchronous systems with full information.

Ioannis Filippidis, Richard M. Murray

CoRR, 2015

2014

An improvement of the piggyback algorithm for parallel model checking.

Ioannis Filippidis, Gerard J. Holzmann

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013

Roadmaps using gradient extremal paths.

Ioannis Filippidis, Kostas J. Kyriakopoulos

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Navigation functions for focally admissible surfaces.

Ioannis Filippidis, Kostas J. Kyriakopoulos

Proceedings of the American Control Conference, 2013

2012

Navigation functions learning from experiments: Application to anthropomorphic grasping.

Ioannis Filippidis, Kostas J. Kyriakopoulos, Panagiotis K. Artemiadis

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Navigation Functions for everywhere partially sufficiently curved worlds.

Ioannis Filippidis, Kostas J. Kyriakopoulos

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Decentralized multi-agent control from local LTL specifications.

Ioannis Filippidis, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Adjustable navigation functions for unknown sphere worlds.

Ioannis Filippidis, Kostas J. Kyriakopoulos

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011