Login / Signup
An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking.
Yuki Kitahara
Masaki Nakamura
Kazutoshi Sakakibara
Published in:
ICMLC (2022)
Keyphrases
</>
partial observability
symbolic model checking
formal verification
model checking
automated verification
control policy
bounded model checking
model checker
temporal logic
control system
formal specification
finite state
formal methods
automated reasoning
real valued
reactive systems
temporal properties