Labeled Transition Systems.

Anders Schlichtkrull Morten Konggaard Schou Jirí Srba Dmitriy Traytel

Published in: Arch. Formal Proofs (2023)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
training data
supervised learning
reactive systems
training set
model checker
utility function
formal specification
sufficient conditions
real time systems
markov chain
artificial intelligence