Ioannis Filippidis

13 papers A* 3C 4Journal 2Unranked 4

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz