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