Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic.

Benjamin Shults Benjamin Kuipers

Published in: Artif. Intell. (1997)

Keyphrases

temporal logic
qualitative simulation
temporally extended
model checking
qualitative reasoning
modal logic
reactive systems
dynamic constraints
satisfiability problem
computation tree logic
concurrent systems
expert systems