Edoardo Pirovano
4 papers · 2018–2020 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Bronze
๐ฃ
Hot Topic Early Bird
๐
Conference Pioneer
Top co-authors
Research topics
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