Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions.

Gang Luo Gregor von Bochmann Anindya Das Cheng Wu

Published in: Inf. Process. Lett. (1992)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
domain specific
situation calculus
model checker
reactive systems
dynamic programming
multiple agents