Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Summers, Sean
155  Ergebnisse:
Personensuche X
?
1

LLM/GPT Generative AI and Artificial General Intelligence (..:

, In: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE),
Mohammad, Atif Farid ; Clark, Bryan ; Agarwal, Ram. - p. 413-417 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Control synthesis for stochastic systems given automata spe..:

Kamgarpour, Maryam ; Wood, Tony A. ; Summers, Sean.
Automatica.  76 (2017)  - p. 177-182 , 2017
Link: https://doi.org/10.1016/..
 
?
3

Stochastic system controller synthesis for reachability spe..:

Summers, Sean ; Kamgarpour, Maryam ; Tomlin, Claire.
Automatica.  49 (2013)  9 - p. 2906-2910 , 2013
Link: https://doi.org/10.1016/..
 
?
4

Control design for specifications on stochastic hybrid syst..:

, In: Proceedings of the 16th international conference on Hybrid systems: computation and control,
Kamgarpour, Maryam ; Summers, Sean ; Lygeros, John - p. 303-312 , 2013
Link: https://dl.acm.org/doi/1..
 
?
5

A stochastic games framework for verification and control o..:

Ding, Jerry ; Kamgarpour, Maryam ; Summers, Sean...
Automatica.  49 (2013)  9 - p. 2665-2674 , 2013
Link: https://doi.org/10.1016/..
 
?
6

A stochastic reach-avoid problem with random obstacles:

, In: Proceedings of the 14th international conference on Hybrid systems: computation and control,
Summers, Sean ; Kamgarpour, Maryam ; Lygeros, John. - p. 251-260 , 2011
Link: https://dl.acm.org/doi/1..
 
?
7

In silico feedback for in vivo regulation of a gene express..:

Milias-Argeitis, Andreas ; Summers, Sean ; Stewart-Ornstein, Jacob...
Nature Biotechnology.  29 (2011)  12 - p. 1114-1116 , 2011
Link: https://doi.org/10.1038/..
 
?
8

Verification of discrete time stochastic hybrid systems: A ..:

Summers, Sean ; Lygeros, John
Automatica.  46 (2010)  12 - p. 1951-1961 , 2010
Link: https://doi.org/10.1016/..
 
?
9

On the connections between PCTL and dynamic programming:

, In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control,
Ramponi, Federico ; Chatterjee, Debasish ; Summers, Sean. - p. 253-262 , 2010
Link: https://dl.acm.org/doi/1..
 
?
10

Stochastic dynamics of genetic networks: modelling and para..:

Cinquemani, Eugenio ; Milias-Argeitis, Andreas ; Summers, Sean.
Bioinformatics.  24 (2008)  23 - p. 2748-2754 , 2008
Link: https://doi.org/10.1093/..
 
?
11

Discretely calibrated regulatory loops controlled by ppGpp ..:

Traxler, Matthew F. ; Zacharia, Vineetha M. ; Marquardt, Stafford...
Molecular Microbiology.  79 (2010)  4 - p. 830-845 , 2010
Link: https://doi.org/10.1111/..
 
?
12

The global, ppGpp‐mediated stringent response to amino acid..:

Traxler, Matthew F. ; Summers, Sean M. ; Nguyen, Huyen‐Tran...
Molecular Microbiology.  68 (2008)  5 - p. 1128-1148 , 2008
Link: https://doi.org/10.1111/..
 
?
13

Cases, Statutes, and Recent Developments:

Wilkinsons, Donald R. ; Ory, Samuel S. ; Tubbesing, Michael J....
The Urban Lawyer.  25 (1993)  1 - p. 179-188 , 1993
Link: https://www.jstor.org/st..
 
?
14

Approximate Dynamic Programming via Sum of Squares Programm..:

Summers, Tyler H ; Kunz, Konstantin ; Kariotoglou, Nikolaos...
http://arxiv.org/abs/1212.1269.  , 2012
Link: http://arxiv.org/abs/121..
 
?
15

On the connections between PCTL and Dynamic Programming:

Ramponi, Federico ; Chatterjee, Debasish ; Summers, Sean.
http://arxiv.org/abs/0910.4738.  , 2009
Link: http://arxiv.org/abs/091..
 
1-15