Ioannis Filippidis
Orcid: 0000-0003-4704-3334
According to our database1,
Ioannis Filippidis
authored at least 13 papers
between 2011 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
4
1
1
1
2
1
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2017
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.
Proceedings of the Robotics Research, The 18th International Symposium, 2017
2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015
Symbolic construction of GR(1) contracts for synchronous systems with full information.
CoRR, 2015
2014
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014
2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the American Control Conference, 2013
2012
Navigation functions learning from experiments: Application to anthropomorphic grasping.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011