General quantitative specification theories with modal transition systems.

Uli Fahrenberg Axel Legay

Published in: Acta Informatica (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
reactive systems
formal verification
formal specification
artificial intelligence
hidden markov models
markov chain
fully observable