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

Lubos Brim Petr Dluhos David Safránek Tomas 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