C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation.
Paul Kröger
Martin Fränzle
Published in:
Leibniz Trans. Embed. Syst. (2022)
Keyphrases
</>
formal model
hybrid systems
hybrid automata
black box
neural network
soft computing
intelligent systems
discrete event
meta learning
finite state automata
computational intelligence
artificial intelligence
bayesian networks
simulation model
model selection
workflow systems
machine learning