Login / Signup

LTLC: Linear Temporal Logic for Control.

YoungMin KwonGul Agha
Published in: HSCC (2008)
Keyphrases
  • linear temporal logic
  • control system
  • bounded model checking
  • general purpose
  • optimal control
  • model checking