Time-Constrained Temporal Logic Control of Multi-Affine Systems

Ebru Aydin Gol Calin Belta

Published in: CoRR (2012)

Keyphrases

temporal logic
model checking
dynamic constraints
modal logic
reactive systems
control system
knowledge based systems
complex systems
bounded model checking
heuristic search
formal verification
verification method