Timed Comparisons of Semi-Markov Processes.

Mathias Ruggaard Pedersen Nathanaël Fijalkow Giorgio Bacci Kim Guldstrand Larsen Radu Mardare

Published in: CoRR (2017)

Keyphrases

petri net
optimal solution
post hoc
timed automata
real time
databases
neural network
lower bound
feature vectors
ground truth
mathematical model