Sean Summers
发表
Sean Summers,
Thomas R. Bewley,
T. Bewley,
2007,
2007 46th IEEE Conference on Decision and Control.
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
John Lygeros,
Maryam Kamgarpour,
Claire J. Tomlin,
2013,
Autom..
John Lygeros,
Maryam Kamgarpour,
Claire J. Tomlin,
2011,
IEEE Conference on Decision and Control and European Control Conference.
John Lygeros,
Maryam Kamgarpour,
Claire J. Tomlin,
2011,
HSCC '11.
Sean Joey Summers,
S. Summers,
Sean Summers,
2013
.
John Lygeros,
Maryam Kamgarpour,
Alessandro Abate,
2011
.
C. Tomlin,
J. Lygeros,
M. Kamgarpour,
2011
.
John Lygeros,
Nikolaos Kariotoglou,
Maryam Kamgarpour,
2012,
2013 European Control Conference (ECC).
John Lygeros,
Debasish Chatterjee,
Sean Summers,
2009,
HSCC '10.
C. Tomlin,
J. Lygeros,
M. Kamgarpour,
2011
.
Nikolaos Kariotoglou,
Davide M. Raimondo,
Sean Summers,
2012
.
John Lygeros,
Nikolaos Kariotoglou,
Sean Summers,
2011,
IEEE Conference on Decision and Control and European Control Conference.