Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.

Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: RP (2013)

Keyphrases

metric temporal logic
markov chain
markov processes
dynamical systems
state space
optimal control
iterative learning control
real world
information systems
learning environment
visual data
markov process
making decisions