scholarly journals Dynamic contracts for distributed temporal logic control of traffic networks

2017 ◽  
Author(s):  
Eric S. Kim ◽  
Sadra Sadraddini ◽  
Calin Belta ◽  
Murat Arcak ◽  
Sanjit A. Seshia
Keyword(s):  
Temporal Logic ◽  
Traffic Networks ◽  
Dynamic Contracts ◽  
Logic Control

Temporal logic control for an autonomous quadrotor in a nondeterministic environment

2013 ◽  
Author(s):  
Alphan Ulusoy ◽  
Michael Marrazzo ◽  
Konstantinos Oikonomopoulos ◽  
Ryan Hunter ◽  
Calin Belta
Keyword(s):  
Temporal Logic ◽  
Logic Control

scholarly journals Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction

2021 ◽  
Author(s):  
Mingyu Cai ◽  
Shaoping Xiao ◽  
Baoluo Li ◽  
Zhiliang Li ◽  
Zhen Kan
Keyword(s):  
Reinforcement Learning ◽  
Temporal Logic ◽  
Logic Control

scholarly journals Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

2017 ◽  
Vol 23 ◽  
pp. 230-253 ◽  
Author(s):  
Mária Svoreňová ◽  
Jan Křetínský ◽  
Martin Chmelík ◽  
Krishnendu Chatterjee ◽  
Ivana Černá ◽  
...  
Keyword(s):  
Linear Systems ◽  
Temporal Logic ◽  
Abstraction Refinement ◽  
Logic Control ◽  
Stochastic Linear Systems
Sign in / Sign up

Export Citation Format

Share Document