SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.

Katalin Fazekas Aman Goel Karem A. Sakallah

Published in: FMCAD (2023)

Keyphrases

initial state
distributed systems
cooperative
distributed environment
multi agent
database replication
peer to peer
answer set programming
distributed data
objective function
mobile agents
version space
bounded model checking
reinforcement learning
wireless sensor networks
computer networks