Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ioannis Filippidis
@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} }
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.