Synthesising optimal timing delays for Timed I/O Automata.

Marco Diciolla Chang Hwan Peter Kim Marta Z. Kwiatkowska Alexandru Mereacre

Published in: EMSOFT (2014)

Keyphrases

database management systems
input output
timed automata
dynamic programming
regular expressions
real time
finite state machines
probabilistic automata
optimal solution
worst case
cellular automata
petri net
data sets
state space
multi dimensional
optimal design