Marta Capiluppi
According to our database1,
Marta Capiluppi
authored at least 11 papers
between 2005 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Teaching physical human-robot interaction to computer science undergraduate students.
Proceedings of the 15th European Control Conference, 2016
2014
Application of contract-based verification techniques for hybrid automata to surgical robotic systems.
Proceedings of the 13th European Control Conference, 2014
2013
Theor. Comput. Sci., 2013
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013
Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata.
Proceedings of the 12th European Control Conference, 2013
2012
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
Proceedings of the Proceedings Third International Symposium on Games, 2012
Distributed collision avoidance for autonomous vehicles: world automata representation.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Proceedings of Second International Symposium on Games, 2011
2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the Intelligent Control, 2005