A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems.

Published in: RAMiCS (2024)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
training data
finite state
practical reasoning
multi agent
control flow
reactive systems
artificial intelligence
case study
multiagent systems