Author:Ezio Bartocci

Publications
STLSat — An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas Marco Zamponi, Florian Lammel, Ezio Bartocci and Michele Chiari In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Parameter Synthesis for Probabilistic Hyperproperties Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning