Battery transition systems.

Udi Boker Thomas A. Henzinger Arjun Radhakrishna

Published in: POPL (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
markov chain
reactive systems
distributed systems
state space
case study
formal methods
search algorithm
fully observable
reinforcement learning