Alessio R. Lomuscio

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Analog Circuits

Symbolic Model Checking

Top Venues

Publications

Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong
Guest Editorial: Special issue on robust machine learning. Mach. Learn. 112 (8) (2023)
Patrick Henriksen, Alessio R. Lomuscio
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. ECAI (2020)
Alessio R. Lomuscio, Moshe Y. Vardi
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261 (2018)
Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu
Compositional neural-network modeling of complex analog circuits. IJCNN (2017)
Alessio R. Lomuscio
Advances in Symbolic Model Checking for Multi-agent Systems. TIME (2014)
Alessio R. Lomuscio, Jakub Michaliszyn
Decidability of model checking multi-agent systems against a class of EHS specifications. ECAI (2014)