EB
Ezio Bartocci
cs.LOcs.SYeess.SYcs.LGcs.SEcs.FLcs.AIcs.PLcs.ROcs.SC
On Valency
published · living versionsW_8kkfkm4n·v1 · currentpublished
Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates
with Mihaela-Larisa Clement, Tosca Pierro, Luca Marzari
1 version
Preprints & journals
95 papers in the corpus · 2003–2026Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates2610.27870v1 · Mihaela-Larisa Clement, Tosca Pierro, Ezio Bartocci et al.2026 · 0 citationsarXivon Valency
RoboRacer Arena: Specification-Driven Track Construction for Autonomous Racing2608.23040v2 · Mihaela-Larisa Clement, Agnes Poks, Ezio Bartocci2026 · 0 citationsarXiv
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning2608.14352v1 · Ignacio D. Lopez-Miguel, Andreas Happe, Jurgen Cito et al.2026 · 0 citationsarXiv
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas2607.21081v2 · Marco Zamponi, Florian Lammel, Ezio Bartocci et al.2026 · 0 citationsarXiv
ORCAID: Oblique Rule-Based Continuous-Action Interpretation for Deep RL Policies2607.07235v1 · Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter et al.2026 · 0 citationsarXiv
Differential Zonotopes for Verifying Global Robustness of DNNs2606.21282v1 · Anagha Athavale, Samuel Teuber, Matteo Maffei et al.2026 · 0 citationsarXiv
A Survey on the Verification of Reinforcement Learning Policies2607.16210v1 · Luca Marzari, Ezio Bartocci, Enrico Marchesini2026 · 0 citationsarXiv
Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling2603.24503v1 · Mihaela-Larisa Clement, M'onika Farsang, Agnes Poks et al.2026 · 0 citationsarXiv
Declarative Scenario-based Testing with RoadLogic2603.09455v2 · Ezio Bartocci, Alessio Gambi, Felix Gigler et al.2026 · 0 citationsarXiv
Polar: An Algebraic Analyzer for (Probabilistic) Loops2602.14573v1 · Marcel Moosbrugger, Julian Mullner, Ezio Bartocci et al.2026 · 0 citationsarXiv
GreenServ: Energy-Efficient Context-Aware Dynamic Routing for Multi-Model LLM Inference2601.17551v2 · Thomas Ziller, Shashikant Ilager, Alessandro Tundo et al.2026 · 1 citationarXiv
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators2507.21598v1 · Beatrice Melani, Ezio Bartocci (TU Wien), Michele Chiari (TU Wien)2025 · 3 citationsarXiv
TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning2507.16844v1 · Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang et al.2025 · 0 citationsarXiv
Cumulative-Time Signal Temporal Logic2504.10325v1 · Hongkai Chen, Zeyu Zhang, Shouvik Roy et al.2025 · 3 citationsarXiv
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement2503.09270v1 · Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek et al.2025 · 5 citationsarXiv
Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs2502.11672v2 · Andrey Kofnov, Daniel Kapla, Ezio Bartocci et al.2025 · 0 citationsarXiv
POPACheck: A Model Checker for Probabilistic Pushdown Automata2502.03956v2 · Francesco Pontiggia, Ezio Bartocci, Michele Chiari2025 · 1 citationarXiv
Information-flow Interfaces and Security Lattices2406.14374v1 · Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic et al.2024 · 0 citationsarXiv
Verifying Global Two-Safety Properties in Neural Networks with Confidence2405.14400v3 · Anagha Athavale, Ezio Bartocci, Maria Christakis et al.2024 · 14 citationsarXiv
Information-flow interfaces.40452879 · Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A et al.2025 · 0 citationsFormal methods in system design. 2025;66(1):3-48
Model Checking Probabilistic Operator Precedence Automata2404.03515v4 · Francesco Pontiggia, Ezio Bartocci, Michele Chiari2024 · 1 citationACM Transactions on Computational Logic (2026), Volume 27, Issue 4, Article No.: 24, Pages 1 - 44
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge2309.00022v1 · Alessandro Tundo, Marco Mobilio, Shashikant Ilager et al.2023 · 20 citationsarXiv
Introducing Asynchronicity to Probabilistic Hyperproperties2307.05282v1 · Lina Gerlach, Oyendrila Dobe, Erika 'Abrah'am et al.2023 · 1 citationarXiv
Deductive Controller Synthesis for Probabilistic Hyperproperties2307.04503v1 · Roman Andriushchenko, Ezio Bartocci, Milan Ceska et al.2023 · 3 citationsarXiv
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments2306.07072v2 · Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic et al.2023 · 6 citationsarXiv
(Un)Solvable Loop Analysis2306.01597v3 · Daneshvar Amrollahi, Ezio Bartocci, George Kenison et al.2023 · 8 citationsarXiv
Hypernode Automata2305.02836v2 · Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic et al.2023 · 10 citationsarXiv
Moment-based Density Elicitation with Applications in Probabilistic Loops2304.09094v2 · Andrey Kofnov, Ezio Bartocci, Efstathia Bura2023 · 0 citationsarXiv
Property-Based Mutation Testing2301.13615v1 · Ezio Bartocci, Leonardo Mariani, Dejan Nickovic et al.2023 · 9 citationsarXiv
Solving Invariant Generation for Unsolvable Loops2206.06943v1 · Daneshvar Amrollahi, Ezio Bartocci, George Kenison et al.2022 · 21 citationsarXiv
Distribution Estimation for Probabilistic Loops2205.07639v1 · Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic et al.2022 · 5 citationsarXiv
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments2205.02577v3 · Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic et al.2022 · 7 citationsarXiv
This Is the Moment for Probabilistic Loops2204.07185v2 · Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci et al.2022 · 30 citationsarXiv
The probabilistic termination tool amber.38046129 · Moosbrugger, Marcel, Bartocci, Ezio, Katoen, Joost-Pieter et al.2023 · 5 citationsFormal methods in system design. 2022;61(1):90-109
Mining Shape Expressions with ShapeIt2109.11999v2 · Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis et al.2021 · 7 citationsarXiv
DeepSTL -- From English Requirements to Signal Temporal Logic2109.10294v4 · Jie He, Ezio Bartocci, Dejan Nickovi'c et al.2021 · 2 citationsarXiv
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals2109.08081v1 · Ennio Visconti, Ezio Bartocci, Michele Loreti et al.2021 · 15 citationsarXiv
The Probabilistic Termination Tool Amber2107.13072v1 · Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen et al.2021 · 15 citationsarXiv
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems2105.11400v4 · L. Nenzi, E. Bartocci, L. Bortolussi et al.2021 · 25 citationsLogical Methods in Computer Science, Volume 18, Issue 1 (January 7, 2022) lmcs:7505
Flavours of Sequential Information Flow2105.02013v1 · Ezio Bartocci, Thomas Ferrere, Thomas A. Henzinger et al.2021 · 0 citationsarXiv
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties2104.14333v1 · Ezio Bartocci, Luca Bortolussi, Michele Loreti et al.2021 · 20 citationsarXiv
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities2104.04904v1 · Meiyi Ma, Ezio Bartocci, Eli Lifland et al.2021 · 40 citationsarXiv
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications2104.02737v1 · Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci et al.2021 · 8 citationsarXiv
MORA -- Automatic Generation of Moment-Based Invariants2103.03908v1 · Ezio Bartocci, Laura Kovacs, Miroslav Stankovic2021 · 24 citationsarXiv
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems2011.00384v3 · Meiyi Ma, John Stankovic, Ezio Bartocci et al.2020 · 34 citationsIn 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) (pp. 51-62). IEEE
Adaptive Testing for Specification Coverage2010.06674v2 · Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher et al.2020 · 0 citationsarXiv
Automated Termination Analysis of Polynomial Probabilistic Programs2010.03444v3 · Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen et al.2020 · 32 citationsarXiv
Analysis of Bayesian Networks via Prob-Solvable Loops2007.09450v2 · Ezio Bartocci, Laura Kov'acs, Miroslav Stankovic2020 · 16 citationsarXiv
Probabilistic Hyperproperties with Nondeterminism2005.06115v2 · Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour et al.2020 · 23 citationsarXiv
Information-Flow Interfaces2002.06465v3 · Ezio Bartocci, Thomas Ferrere, Thomas A. Henzinger et al.2020 · 1 citationarXiv
Career total: 314 works. 95 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.