11573/1726938 - 2024 -
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures Picchiami, Leonardo; Parmentier, Maxime; Legay, Axel; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
rivista: THE JOURNAL OF SYSTEMS AND SOFTWARE (Madison Square Station,New York: Elsevier Science Incorporated) pp. - - issn: 0164-1212 - wos: (0) - scopus: (0)
11573/1672623 - 2022 -
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (Genova, Italy)
libro: CEUR Workshop Proceedings - ()
11573/1672958 - 2022 -
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 4rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2022 (Udine; Italy)
libro: CEUR Workshop Proceedings - ()
11573/1672994 - 2022 -
A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021) (Online)
libro: Lecture Note in Computer Science - (978-3-031-08420-1; 978-3-031-08421-8)
11573/1645718 - 2021 -
Simulation-based synthesis of personalised therapies for colorectal cancer Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2021 (Padova, Italy)
libro: CEUR Workshop Proceedings - ()
11573/1645734 - 2021 -
Intelligent Search for Personalized Cancer Therapy Synthesis: An Experimental Comparison Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 9th Italian Workshop on Planning and Scheduling and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion", IPS 2021 and RCRA 2021 (Online, Italy)
libro: CEUR Workshop Proceedings - ()
11573/1645761 - 2021 -
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems Picchiami, L. - 04b Atto di convegno in volume
congresso: 9th Italian Workshop on Planning and Scheduling and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion", IPS 2021 and RCRA 2021 (ita)
libro: CEUR Workshop Proceedings - ()