Compositional Design of Stochastic Timed Automata.

Patricia Bouyer Thomas Brihaye Pierre Carlier Quentin Menet

Published in: CSR (2016)

Keyphrases

timed automata
user interface
probabilistic model
design methodology
monte carlo
design process
building blocks
bayesian networks
case study
real world
neural network
multi agent
data sets
decision making
information retrieval
software architecture
design decisions
stochastic optimization