Alessio R. Lomuscio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2020
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECAI | Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. | Patrick Henriksen, Alessio R. Lomuscio |
| 2017 | IJCNN | Compositional neural-network modeling of complex analog circuits. | Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu |
| 2014 | ECAI | Decidability of model checking multi-agent systems against a class of EHS specifications. | Alessio R. Lomuscio, Jakub Michaliszyn |
| 2014 | TIME | Advances in Symbolic Model Checking for Multi-agent Systems. | Alessio R. Lomuscio |