Login / Signup
Approximate equivalence and synchronization of metric transition systems.
A. Agung Julius
Alessandro D'Innocenzo
Maria Domenica Di Benedetto
George J. Pappas
Published in:
Syst. Control. Lett. (2009)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
practical reasoning
artificial intelligence
reactive systems
search space
linear programming