Stefano Minopoli
According to our database1,
Stefano Minopoli
authored at least 11 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
0
1
2
3
4
1
1
2
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
2014
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
2013
Automatic synthesis of switching controllers for linear hybrid systems: Safety control.
Theor. Comput. Sci., 2013
2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
2011
Proceedings of Second International Symposium on Games, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010