Login / Signup
LTLC: Linear Temporal Logic for Control.
YoungMin Kwon
Gul Agha
Published in:
HSCC (2008)
Keyphrases
</>
linear temporal logic
control system
bounded model checking
general purpose
optimal control
model checking