Edoardo Pirovano
4 papers · 2018–2020 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11) 🌉 Interdisciplinary Bridge
🚀
Conference Pioneer
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
formal verification
(3)
swarm robotics
(2)
fault tolerance
(2)
model checking
(2)
linear temporal logic
(1)
symbolic synthesis
(1)
temporal-epistemic logic
(1)
multi-agent system
(1)
parameterised system
(1)
agent-environment system
(1)
bounded execution
(1)
swarm system
(1)
probabilistic model checking
(1)
probabilistic temporal logic
(1)
probabilistic logic
(1)
emergent properties
(1)
formal methods
(1)
recurrent neural network
(1)
neural network verification
(1)
Papers
Verifying Fault-Tolerance in Probabilistic Swarm Systems
IJCAI 2020
Verification of RNN-Based Neural Agent-Environment Systems
AAAI 2019
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
IJCAI 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
IJCAI 2018