C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Augmented finite transition systems as abstractions for control synthesis.
Petter Nilsson
Necmiye Ozay
Jun Liu
Published in:
Discret. Event Dyn. Syst. (2017)
Keyphrases
</>
transition systems
model checking
temporal logic
web services
concurrent systems
case study
reinforcement learning
state space
finite state