Leonardo Picchiami
Orcid: 0000-0001-5477-6419
According to our database1,
Leonardo Picchiami
authored at least 6 papers
between 2021 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking.
Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems.
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI.
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison.
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021