Login / Signup
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.
Alessio Lomuscio
Edoardo Pirovano
Published in:
AAMAS (2019)
Keyphrases
</>
building blocks
hardware designs
cooperative
probabilistic model
formal methods
distributed systems
expert systems
reinforcement learning
computer vision
search algorithm
information retrieval
data driven
particle swarm optimization
high level
model checking
face verification
information systems