On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing

Paritosh K. Pandya Simoni S. Shah

Published in: CoRR (2011)

Keyphrases

sufficient conditions
petri net
expressive power
data sets
case study
reinforcement learning
modal logic
randomized algorithms
database
genetic algorithm
inference rules
propositional calculus