A Framework for Formal Verification and Validation of Railway Systems.

Published in: ABZ (2023)

Keyphrases

formal verification
expert systems
intelligent systems
model checking
neural network
main contribution
distributed systems
automated verification
learning algorithm
probabilistic model
learning systems
theoretical framework