Minimal specification revision for weighted transition systems.

Kangjin Kim Georgios Fainekos

Published in: ICRA (2013)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
practical reasoning
belief revision
reactive systems
knowledge base
data flow
model checker
formal specification
formal verification
distributed systems
description language
hidden markov models
multi agent