Ioannis Filippidis

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 6

Top Topics

Formal Verification

Temporally Extended Goals

Top Venues

Publications

Ioannis Filippidis, Richard M. Murray
Layering Assume-Guarantee Contracts for Hierarchical System Design. Proc. IEEE 106 (9) (2018)
Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. ISRR (2017)
Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA (2016)
Ioannis Filippidis, Richard M. Murray
Symbolic construction of GR(1) contracts for systems with full information. ACC (2016)
Ioannis Filippidis, Richard M. Murray
Symbolic construction of GR(1) contracts for synchronous systems with full information. CoRR (2015)
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
A multi-paradigm language for reactive synthesis. SYNT (2015)
Ioannis Filippidis, Gerard J. Holzmann
An improvement of the piggyback algorithm for parallel model checking. SPIN (2014)
Ioannis Filippidis, Kostas J. Kyriakopoulos
Navigation functions for focally admissible surfaces. ACC (2013)
Ioannis Filippidis, Kostas J. Kyriakopoulos
Roadmaps using gradient extremal paths. ICRA (2013)
Ioannis Filippidis, Kostas J. Kyriakopoulos, Panagiotis K. Artemiadis
Navigation functions learning from experiments: Application to anthropomorphic grasping. ICRA (2012)
Ioannis Filippidis, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos
Decentralized multi-agent control from local LTL specifications. CDC (2012)
Ioannis Filippidis, Kostas J. Kyriakopoulos
Navigation Functions for everywhere partially sufficiently curved worlds. ICRA (2012)
Ioannis Filippidis, Kostas J. Kyriakopoulos
Adjustable navigation functions for unknown sphere worlds. CDC/ECC (2011)