Edoardo Pirovano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2018–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | IJCAI | Verifying Fault-Tolerance in Probabilistic Swarm Systems. | Alessio Lomuscio, Edoardo Pirovano |
| 2019 | AAAI | Verification of RNN-Based Neural Agent-Environment Systems. | Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano |
| 2018 | IJCAI | Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. | Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano |
| 2018 | IJCAI | Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. | Alessio Lomuscio, Edoardo Pirovano |
| 2018 | KR | Reachability Analysis for Neural Agent-Environment Systems. | Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |