Control with Probabilistic Signal Temporal Logic.

Chanyeol Yoo Calin Belta

Published in: CoRR (2015)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
temporal knowledge
computation tree logic
transition systems
bounded model checking
control signals
mazurkiewicz traces
dynamic constraints
artificial intelligence
verification method