BibTeX records: Ioannis Filippidis

download as .bib file

@article{DBLP:journals/pieee/FilippidisM18,
  author       = {Ioannis Filippidis and
                  Richard M. Murray},
  title        = {Layering Assume-Guarantee Contracts for Hierarchical System Design},
  journal      = {Proc. {IEEE}},
  volume       = {106},
  number       = {9},
  pages        = {1616--1654},
  year         = {2018},
  url          = {https://doi.org/10.1109/JPROC.2018.2834926},
  doi          = {10.1109/JPROC.2018.2834926},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/FilippidisM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isrr/DathathriFM17,
  author       = {Sumanth Dathathri and
                  Ioannis Filippidis and
                  Richard M. Murray},
  editor       = {Nancy M. Amato and
                  Greg Hager and
                  Shawna L. Thomas and
                  Miguel Torres{-}Torriti},
  title        = {Parallelizing Synthesis from Temporal Logic Specifications by Identifying
                  Equicontrollable States},
  booktitle    = {Robotics Research, The 18th International Symposium, {ISRR} 2017,
                  Puerto Varas, Chile, December 11-14, 2017},
  series       = {Springer Proceedings in Advanced Robotics},
  volume       = {10},
  pages        = {827--842},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-28619-4\_57},
  doi          = {10.1007/978-3-030-28619-4\_57},
  timestamp    = {Thu, 23 Apr 2020 13:59:36 +0200},
  biburl       = {https://dblp.org/rec/conf/isrr/DathathriFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEcca/FilippidisDLOM16,
  author       = {Ioannis Filippidis and
                  Sumanth Dathathri and
                  Scott C. Livingston and
                  Necmiye Ozay and
                  Richard M. Murray},
  title        = {Control design for hybrid systems with TuLiP: The Temporal Logic Planning
                  toolbox},
  booktitle    = {2016 {IEEE} Conference on Control Applications, {CCA} 2016, Buenos
                  Aires, Argentina, September 19-22, 2016},
  pages        = {1030--1041},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CCA.2016.7587949},
  doi          = {10.1109/CCA.2016.7587949},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcca/FilippidisDLOM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/FilippidisM16,
  author       = {Ioannis Filippidis and
                  Richard M. Murray},
  title        = {Symbolic construction of {GR(1)} contracts for systems with full information},
  booktitle    = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
                  6-8, 2016},
  pages        = {782--789},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ACC.2016.7525009},
  doi          = {10.1109/ACC.2016.7525009},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/FilippidisM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FilippidisMH16,
  author       = {Ioannis Filippidis and
                  Richard M. Murray and
                  Gerard J. Holzmann},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {A multi-paradigm language for reactive synthesis},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {73--97},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.6},
  doi          = {10.4204/EPTCS.202.6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FilippidisMH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/FilippidisM15,
  author       = {Ioannis Filippidis and
                  Richard M. Murray},
  title        = {Symbolic construction of {GR(1)} contracts for synchronous systems
                  with full information},
  journal      = {CoRR},
  volume       = {abs/1508.02705},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.02705},
  eprinttype    = {arXiv},
  eprint       = {1508.02705},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FilippidisM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/FilippidisH14,
  author       = {Ioannis Filippidis and
                  Gerard J. Holzmann},
  editor       = {Neha Rungta and
                  Oksana Tkachuk},
  title        = {An improvement of the piggyback algorithm for parallel model checking},
  booktitle    = {2014 International Symposium on Model Checking of Software, {SPIN}
                  2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
  pages        = {48--57},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2632362.2632375},
  doi          = {10.1145/2632362.2632375},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/FilippidisH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/FilippidisK13,
  author       = {Ioannis Filippidis and
                  Kostas J. Kyriakopoulos},
  title        = {Navigation functions for focally admissible surfaces},
  booktitle    = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
                  17-19, 2013},
  pages        = {994--999},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ACC.2013.6579966},
  doi          = {10.1109/ACC.2013.6579966},
  timestamp    = {Sun, 08 Aug 2021 01:40:56 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/FilippidisK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/FilippidisK13,
  author       = {Ioannis Filippidis and
                  Kostas J. Kyriakopoulos},
  title        = {Roadmaps using gradient extremal paths},
  booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
                  Germany, May 6-10, 2013},
  pages        = {370--375},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICRA.2013.6630602},
  doi          = {10.1109/ICRA.2013.6630602},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/FilippidisK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/FilippidisDK12,
  author       = {Ioannis Filippidis and
                  Dimos V. Dimarogonas and
                  Kostas J. Kyriakopoulos},
  title        = {Decentralized multi-agent control from local {LTL} specifications},
  booktitle    = {Proceedings of the 51th {IEEE} Conference on Decision and Control,
                  {CDC} 2012, December 10-13, 2012, Maui, HI, {USA}},
  pages        = {6235--6240},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CDC.2012.6426027},
  doi          = {10.1109/CDC.2012.6426027},
  timestamp    = {Fri, 04 Mar 2022 13:28:47 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/FilippidisDK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/FilippidisKA12,
  author       = {Ioannis Filippidis and
                  Kostas J. Kyriakopoulos and
                  Panagiotis K. Artemiadis},
  title        = {Navigation functions learning from experiments: Application to anthropomorphic
                  grasping},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
  pages        = {570--575},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICRA.2012.6225168},
  doi          = {10.1109/ICRA.2012.6225168},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/FilippidisKA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/FilippidisK12,
  author       = {Ioannis Filippidis and
                  Kostas J. Kyriakopoulos},
  title        = {Navigation Functions for everywhere partially sufficiently curved
                  worlds},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
  pages        = {2115--2120},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICRA.2012.6225105},
  doi          = {10.1109/ICRA.2012.6225105},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icra/FilippidisK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/FilippidisK11,
  author       = {Ioannis Filippidis and
                  Kostas J. Kyriakopoulos},
  title        = {Adjustable navigation functions for unknown sphere worlds},
  booktitle    = {50th {IEEE} Conference on Decision and Control and European Control
                  Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
                  FL, USA, December 12-15, 2011},
  pages        = {4276--4281},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CDC.2011.6161176},
  doi          = {10.1109/CDC.2011.6161176},
  timestamp    = {Wed, 24 Feb 2021 08:49:08 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/FilippidisK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.