C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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