Parameter Synthesis for Timed Kripke Structures.

Michal Knapik Wojciech Penczek

Published in: CS&P (2013)

Keyphrases

petri net
texture synthesis
modal logic
finite state machines
model checking
inference rules
database systems
markov chain
program synthesis
data sets
input parameters
parameter values
temporal logic
search algorithm
website
decision making
feature selection
information systems
genetic algorithm
neural network