Sign in

Temporal logic for process specification and recognition.

Arne KreutzmannImmo ColoniusDiedrich WolterFrank DyllaLutz FrommbergerChristian Freksa
Published in: Intell. Serv. Robotics (2013)
Keyphrases
  • temporal logic
  • model checking
  • transition systems
  • linear temporal logic
  • modal logic
  • satisfiability problem
  • formal verification
  • reactive systems
  • concurrent systems
  • np complete
  • search algorithm
  • formal specification