Sign in

: Extending signal temporal logic with signal-value freezing operator.

Lubos BrimPetr DluhosDavid SafránekTomas Vejpustek
Published in: Inf. Comput. (2014)
Keyphrases
  • temporal logic
  • model checking
  • satisfiability problem
  • modal logic
  • concurrent systems
  • artificial intelligence
  • multi agent systems
  • computation tree logic