Ioannis Filippidis

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