Visualization of State Transition Systems in a Parallel Environment.

Subbu Ramanathan Haresh Suresh Amog Rajenderan Susan Elias

Published in: ICT (2010)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
real time
finite state
reactive systems
practical reasoning
mobile robot
dynamic environments
state space
domain specific
linear programming
situation calculus