Adjustable navigation functions for unknown sphere worlds. - Ioannis Filippidis; Kostas J. Kyriakopoulos (CDC/ECC, 2011)

Decentralized multi-agent control from local LTL specifications. - Ioannis Filippidis; Dimos V. Dimarogonas; Kostas J. Kyriakopoulos (CDC, 2012)

Navigation Functions for everywhere partially sufficiently curved worlds. - Ioannis Filippidis; Kostas J. Kyriakopoulos (ICRA, 2012)

Navigation functions learning from experiments: Application to anthropomorphic grasping. - Ioannis Filippidis; Kostas J. Kyriakopoulos; Panagiotis K. Artemiadis (ICRA, 2012)

Navigation functions for focally admissible surfaces. - Ioannis Filippidis; Kostas J. Kyriakopoulos (ACC, 2013)

Roadmaps using gradient extremal paths. - Ioannis Filippidis; Kostas J. Kyriakopoulos (ICRA, 2013)

An improvement of the piggyback algorithm for parallel model checking. - Ioannis Filippidis; Gerard J. Holzmann (SPIN, 2014)

Symbolic construction of GR(1) contracts for synchronous systems with full information. - Ioannis Filippidis; Richard M. Murray (CoRR, 2015)

A multi-paradigm language for reactive synthesis. - Ioannis Filippidis; Richard M. Murray; Gerard J. Holzmann (SYNT, 2015)

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. - Ioannis Filippidis; Sumanth Dathathri; Scott C. Livingston; Necmiye Ozay; Richard M. Murray (CCA, 2016)

Symbolic construction of GR(1) contracts for systems with full information. - Ioannis Filippidis; Richard M. Murray (ACC, 2016)

Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. - Sumanth Dathathri; Ioannis Filippidis; Richard M. Murray (ISRR, 2017)

Layering Assume-Guarantee Contracts for Hierarchical System Design. - Ioannis Filippidis; Richard M. Murray (Proc. IEEE, 2018)