photo of Ioannis Filippidis
Ioannis Filippidis
    California Institute of Technology

Home page:
Bio:  PhD student working on verification and synthesis of control algorithms, advised by Prof. Richard Murray. Diploma in Mechanical Engineering from National Technical University of Athens, Greece.

Papers, Presentations and Reports Authored by Ioannis Filippidis

  1. Hiding variables when decomposing specifications into GR(1) contracts, Ioannis Filippidis, Richard Murray, 11, October, 2017. Posted on 12 Nov 2017.
  2. Reactive synthesis from Promela, Ioannis Filippidis, Richard Murray, Gerard Holzmann, 29, October, 2014. Posted on 28 Oct 2014.
  3. Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments, Ioannis Filippidis, Richard Murray, 53rd IEEE Conference on Decision and Control, IEEE, 15, December, 2014. Posted on 9 Apr 2014.


  • 6 Conference papers.
  • 3 Talk or presentations.
  • 1 Poster.
  • 1 Unpublished article.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.