Robustness Analysis for Value-Freezing Signal Temporal Logic.

Lubos Brim Tomas Vejpustek David Safránek Jana Fabriková

Published in: HSB (2013)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
artificial intelligence
reinforcement learning
knowledge based systems
belief revision
modal logic
satisfiability problem
verification method
computation tree logic