Login / Signup

Why Systems of Temporal Logic Are Sometimes (Un)useful?

Krystian JobczykAntoni Ligeza
Published in: ICAISC (2) (2016)
Keyphrases
  • temporal logic
  • model checking
  • dynamic constraints
  • satisfiability problem
  • modal logic
  • reactive systems
  • linear temporal logic
  • expert systems
  • distributed systems
  • knowledge based systems
  • complex systems