Login / Signup
On Modularity in Reactive Control Architectures, with an Application to Formal Verification.
Oliver Biggar
Mohammad Zamani
Iman Shames
Published in:
ACM Trans. Cyber Phys. Syst. (2022)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
real time
control system
control method
agent architecture
knowledge base
expert systems
temporal logic
program slicing