Login / Signup
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
Benedikt Maderbacher
Stefan Schupp
Ezio Bartocci
Roderick Bloem
Dejan Nickovic
Bettina Könighofer
Published in:
SPIN (2023)
Keyphrases
</>
network architecture
real time
learning environment
management system
data driven
software architecture
desirable properties
reference model
learning capabilities
machine learning
artificial intelligence
metadata
bayesian networks
special case
structural properties
simplex method