Edoardo Pirovano
4 papers
· 2018–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
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)