Timed Comparisons of Semi-Markov Processes.

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

Published in: LATA (2018)

Keyphrases

petri net
data analysis
neural network
web services
timed automata
real time
learning algorithm
artificial intelligence
reinforcement learning
learning process
finite state machines