Skip to content
conftrace_

swarm system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

emergent properties (1) multi-agent system (1) neural network (1) decentralized policy (1) model checking (1) mean embedding (1) formal verification (1) probabilistic logic (1) deep reinforcement learning (1)

Papers

Deep Reinforcement Learning for Swarm Systems JMLR 2019 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018