Luca Geatti

2 papers in the IJCAI proceedings

IJCAI 2024

Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring

with Andrea Brunello, Angelo Montanari, Nicola Saccomanno

doi:10.24963/ijcai.2024/362

Details PDF

IJCAI 2022

Linear Temporal Logic Modulo Theories over Finite Traces

with Alessandro Gianola, Nicola Gigante

doi:10.24963/ijcai.2022/366

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings