@misc
{TN_libero_mab2,
author = {
Kröger, Paul
AND
Fränzle, Martin
},
title = {
Bayesian hybrid automata
a formal model of justified belief in interacting hybrid systems subject to imprecise observation
},
publisher = {},
isbn = {2199-2002},
year = {2022},
address = {
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}