Refinement of actions for real-time concurrent systems with causal ambiguity.

Mila E. Majster-Cederbaum Jinzhao Wu Houguang Yue

Published in: Acta Informatica (2006)

Keyphrases

concurrent systems
real time
temporal logic
distributed systems
vision system
transition systems
bayesian networks
process algebra
real time systems
formal specification
model checking
low cost
control system
petri net
causal models
decision theoretic
plan recognition
high speed
causal links