On Sampling Abstraction of Continuous Time Logic with Durations.

Paritosh K. Pandya Shankara Narayanan Krishna Kuntal Loya

Published in: TACAS (2007)

Keyphrases

random sampling
classical logic
high level
optimal control
logic programming
markov processes
bounded model checking
automated reasoning
markov chain
image reconstruction
parameter space
sampling rate
stochastic processes
proof theory
linear temporal logic
iterative learning control