Parameter Synthesis for Timed Kripke Structures.

Michal Knapik Wojciech Penczek

Published in: Fundam. Informaticae (2014)

Keyphrases

model checking
temporal logic
parameter settings
desirable properties
inference rules
timed automata
petri net
modal logic
program synthesis
real world
machine learning
probabilistic model
parameter space