Login / Signup
Formal Verification of Consistency for Systems with Redundant Controllers.
Bjarne Johansson
Bahman Pourvatan
Zahra Moezkarimi
Alessandro Papadopoulos
Marjan Sirjani
Published in:
MARS@ETAPS (2024)
Keyphrases
</>
formal verification
computer systems
building blocks
automated verification
distributed systems
intelligent systems
model checking
real time
artificial intelligence
reinforcement learning
domain specific
knowledge based systems
learning systems
control strategy
control strategies