A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method.

Published in: CoRR (2024)

Keyphrases

verification method
model checking
temporal logic
higher order
modular structure
pairwise
hierarchical structure
functional modules
knowledge representation
agent architecture
case study
reinforcement learning
hierarchical clustering
formal model
reactive systems