Robust model predictive control through adjustable variables: an application to path planning. - Alessandro Abate; Laurent El Ghaoui (CDC, 2004)

Optimal control for a class of stochastic hybrid systems. - Ling Shi; Alessandro Abate; Shankar Sastry 001 (CDC, 2004)

Stochastic approximations of hybrid systems. - Alessandro Abate; Aaron D. Ames; S. Shankar Sastry (ACC, 2005)

Sufficient Conditions for the Existence of Zeno Behavior. - Aaron D. Ames; Alessandro Abate; Shankar Sastry 001 (CDC/ECC, 2005)

Box invariance of Hybrid and switched Systems. - Alessandro Abate; Ashish Tiwari 001 (ADHS, 2006)

A priori detection of Zeno behavior in communication networks modeled as hybrid systems. - Alessandro Abate; Aaron D. Ames; Shankar Sastry 001 (ACC, 2006)

Error bounds based stochastic approximations and simulations of hybrid dynamical systems. - Alessandro Abate; Aaron D. Ames; Shankar Sastry 001 (ACC, 2006)

Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems. - Alessandro Abate; Saurabh Amin; Maria Prandini; John Lygeros; Shankar Sastry 001 (CDC, 2006)

Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. - Saurabh Amin; Alessandro Abate; Maria Prandini; John Lygeros; Shankar Sastry 001 (HSCC, 2006)

Quantitative and Probabilistic Modeling in Pathway Logic. - Alessandro Abate; Yu Bai; Nathalie Sznajder; Carolyn L. Talcott; Ashish Tiwari 001 (BIBE, 2007)

Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations. - Aaron D. Ames; Alessandro Abate; Shankar Sastry 001 (CDC, 2007)

Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. - Alessandro Abate; Saurabh Amin; Maria Prandini; John Lygeros; Shankar Sastry 001 (HSCC, 2007)

The Concept of Deadlock and Livelock in Hybrid Control Systems. - Alessandro Abate; Alessandro D'Innocenzo; Giordano Pola; Maria Domenica Di Benedetto; Shankar Sastry 001 (HSCC, 2007)

An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. - Alessandro Abate; Maria Prandini; John Lygeros; Shankar Sastry 001 (CDC, 2008)

Approximate abstractions of discrete-time controlled stochastic hybrid systems. - Alessandro D'Innocenzo; Alessandro Abate; Maria Domenica Di Benedetto (CDC, 2008)

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. - Alessandro Abate; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Shankar Sastry 001 (HSCC, 2008)

Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. - Alessandro Abate; Maria Prandini; John Lygeros; Shankar Sastry 001 (HSCC, 2008)

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. - Alessandro Abate; Maria Prandini; John Lygeros; Shankar Sastry 001 (Autom., 2008)

Efficient suboptimal solutions of switched LQR problems. - Wei Zhang 013; Alessandro Abate; Jianghai Hu (ACC, 2009)

A contractivity approach for probabilistic bisimulations of diffusion processes. - Alessandro Abate (CDC, 2009)

On piecewise quadratic control-Lyapunov functions for switched linear systems. - Wei Zhang 013; Alessandro Abate; Michael P. Vitus; Jianghai Hu (CDC, 2009)

Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. - Wei Zhang 013; Alessandro Abate; Jianghai Hu (HSCC, 2009)

The Emergent Structure of the Drosophila Wing - A Dynamic Model Generator. - Alberto Silletti; Angelo Cenedese; Alessandro Abate (VISAPP (1), 2009)

Box invariance in biologically-inspired dynamical systems. - Alessandro Abate; Ashish Tiwari 001; Shankar Sastry 001 (Autom., 2009)

Exponential stabilization of discrete-time switched linear systems. - Wei Zhang 013; Alessandro Abate; Jianghai Hu; Michael P. Vitus (Autom., 2009)

On the Value Functions of the Discrete-Time Switched LQR Problem. - Wei Zhang 013; Jianghai Hu; Alessandro Abate (IEEE Trans. Autom. Control., 2009)

Probabilistic bisimulations of switching and resetting diffusions. - Alessandro Abate (CDC, 2010)

On the infinite horizon constrained switched LQR problem. - Maximilian Balandat; Wei Zhang 013; Alessandro Abate (CDC, 2010)

On sensor scheduling of linear dynamical systems with error bounds. - Michael P. Vitus; Wei Zhang 013; Alessandro Abate; Jianghai Hu; Claire J. Tomlin (CDC, 2010)

On the optimal solutions of the infinite-horizon linear sensor scheduling problem. - Wei Zhang 013; Michael P. Vitus; Jianghai Hu; Alessandro Abate; Claire J. Tomlin (CDC, 2010)

Approximate Model Checking of Stochastic Hybrid Systems. - Alessandro Abate; Joost-Pieter Katoen; John Lygeros; Maria Prandini (Eur. J. Control, 2010)

Probabilistic safety and optimal control for survival analysis of Bacillus subtilis. - Alessandro Abate; John Lygeros; Shankar S. Sastry (Syst. Control. Lett., 2010)

Approximate abstractions of stochastic systems: A randomized method. - Alessandro Abate; Maria Prandini (CDC/ECC, 2011)

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. - Maryam Kamgarpour; Jerry Ding; Sean Summers; Alessandro Abate; John Lygeros; Claire J. Tomlin (CDC/ECC, 2011)

On infinite-horizon probabilistic properties and stochastic bisimulation functions. - Ilya Tkachev; Alessandro Abate (CDC/ECC, 2011)

Quantitative automata model checking of autonomous stochastic hybrid systems. - Alessandro Abate; Joost-Pieter Katoen; Alexandru Mereacre (HSCC, 2011)

Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (QEST, 2011)

Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey. - Alessandro Abate (Hybrid Autonomous Systems@ETAPS, 2011)

Versatile spectral methods for point set matching. - Alberto Silletti; Alessandro Abate; Jeffrey D. Axelrod; Claire J. Tomlin (Pattern Recognit. Lett., 2011)

Approximate Abstractions of Stochastic Hybrid Systems. - Alessandro Abate; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2011)

Abstraction and verification of autonomous Max-Plus-Linear systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (ACC, 2012)

Higher-Order Approximations for Verification of Stochastic Hybrid Systems. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (ATVA, 2012)

Stability and attractivity of absorbing sets for discrete-time Markov processes. - Ilya Tkachev; Alessandro Abate (CDC, 2012)

Robust PCTL model checking. - Alessandro D'Innocenzo; Alessandro Abate; Joost-Pieter Katoen (HSCC, 2012)

Probabilistic invariance of mixed deterministic-stochastic dynamical systems. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (HSCC, 2012)

Regularization of bellman equations for infinite-horizon probabilistic properties. - Ilya Tkachev; Alessandro Abate (HSCC, 2012)

Modeling and simulation of a microgrid as a Stochastic Hybrid System. - Martin Strelec; Karel Macek; Alessandro Abate (ISGT Europe, 2012)

On efficient sensor scheduling for linear dynamical systems. - Michael P. Vitus; Wei Zhang 013; Alessandro Abate; Jianghai Hu; Claire J. Tomlin (Autom., 2012)

On infinite horizon switched LQR problems with state and control constraints. - Maximilian Balandat; Wei Zhang 013; Alessandro Abate (Syst. Control. Lett., 2012)

Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis. - Wei Zhang 013; Jianghai Hu; Alessandro Abate (IEEE Trans. Autom. Control., 2012)

A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks. - Alessandro Abate; Stéphane Vincent; Roel Dobbe; Alberto Silletti; Neal Master; Jeffrey D. Axelrod; Claire J. Tomlin (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Finite abstractions of nonautonomous Max-Plus-Linear systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (ACC, 2013)

Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications. - Jerry Ding; Alessandro Abate; Claire J. Tomlin (ACC, 2013)

A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem. - Ilya Tkachev; Alessandro Abate (CDC, 2013)

Bisimilar finite abstractions of stochastic control systems. - Majid Zamani 001; Peyman Mohajerin Esfahani; Rupak Majumdar; Alessandro Abate; John Lygeros (CDC, 2013)

Aggregation of thermostatically controlled loads by formal abstractions. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (ECC, 2013)

Symbolic models for stochastic control systems without stability assumptions. - Majid Zamani 001; Peyman Mohajerin Esfahani; Alessandro Abate; John Lygeros (ECC, 2013)

Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. - Ilya Tkachev; Alessandro Abate (HSCC, 2013)

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. - Ilya Tkachev; Alexandru Mereacre; Joost-Pieter Katoen; Alessandro Abate (HSCC, 2013)

VeriSiMPL: Verification via biSimulations of MPL Models. - Dieky Adzkiya; Alessandro Abate (QEST, 2013)

Symbolic Control of Stochastic Switched Systems via Finite Abstractions. - Majid Zamani 001; Alessandro Abate (QEST, 2013)

A stochastic games framework for verification and control of discrete time stochastic hybrid systems. - Jerry Ding; Maryam Kamgarpour; Sean Summers; Alessandro Abate; John Lygeros; Claire J. Tomlin (Autom., 2013)

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (SIAM J. Appl. Dyn. Syst., 2013)

Finite Abstractions of Max-Plus-Linear Systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (IEEE Trans. Autom. Control., 2013)

Symbolic models for randomly switched stochastic systems. - Majid Zamani 001; Alessandro Abate (ACC, 2014)

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. - Alessandro Abate; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Horizons of the Mind, 2014)

Finite abstractions of networked control systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Alessandro Abate (CDC, 2014)

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. - Lakshmeesh R. M. Maruthi; Ilya Tkachev; Alfonso Carta; Eugenio Cinquemani; Pascal Hersen; Grégory Batt; Alessandro Abate (CMSB, 2014)

On approximation metrics for linear temporal model-checking of stochastic systems. - Ilya Tkachev; Alessandro Abate (HSCC, 2014)

Bisimilar symbolic models for stochastic control systems without state-space discretization. - Majid Zamani 001; Ilya Tkachev; Alessandro Abate (HSCC, 2014)

Finite Abstractions of Stochastic Max-Plus-Linear Systems. - Dieky Adzkiya; Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (QEST, 2014)

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. - Sadegh Esmaeil Zadeh Soudjani; Sebastian Gerwinn; Christian Ellen; Martin Fränzle; Alessandro Abate (QEST, 2014)

Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (TACAS, 2014)

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (TACAS, 2014)

Backward Reachability of Autonomous Max-Plus-Linear Systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (WODES, 2014)

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes. - Sofie Haesaert; Robert Babuska; Alessandro Abate (CoRR, 2014)

Symbolic Models for Networked Control Systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Alessandro Abate (CoRR, 2014)

Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). - Alessandro Abate; Martin Fränzle; Ian A. Hiskens; Martin Strelec (Dagstuhl Reports, 2014)

Approximately bisimilar symbolic models for randomly switched stochastic systems. - Majid Zamani 001; Alessandro Abate (Syst. Control. Lett., 2014)

Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (IEEE Trans. Autom. Control., 2014)

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. - Majid Zamani 001; Peyman Mohajerin Esfahani; Rupak Majumdar; Alessandro Abate; John Lygeros (IEEE Trans. Autom. Control., 2014)

On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem. - Lin Zhao 009; Wei Zhang 013; Jianghai Hu; Alessandro Abate; Claire J. Tomlin (IEEE Trans. Autom. Control., 2014)

Characterization and computation of infinite-horizon specifications over Markov processes. - Ilya Tkachev; Alessandro Abate (Theor. Comput. Sci., 2014)

Controller Synthesis for Probabilistic Safety Specifications using Observers. - Kendra Lesser; Alessandro Abate (ADHS, 2015)

A mean field equilibrium for a model of interbank lending. - Maximilian Balandat; Ilya Tkachev; Alessandro Abate; Claire J. Tomlin (ACC, 2015)

Data-driven property verification of grey-box systems by Bayesian experiment design. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (ACC, 2015)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. - Alessandro Abate; Lubos Brim; Milan Ceska 002; Marta Z. Kwiatkowska (CAV (1), 2015)

Correct-by-design output feedback of LTI systems. - Sofie Haesaert; Alessandro Abate; Paul M. J. Van den Hof (CDC, 2015)

Data-driven and model-based verification: A Bayesian identification approach. - Sofie Haesaert; Alessandro Abate; Paul M. J. Van den Hof (CDC, 2015)

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate; Rupak Majumdar (CONCUR, 2015)

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. - Martin Fränzle; Sebastian Gerwinn; Paul Kröger; Alessandro Abate; Joost-Pieter Katoen (FORMATS, 2015)

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (SAS, 2015)

FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes. - Sadegh Esmaeil Zadeh Soudjani; Caspar Gevaerts; Alessandro Abate (TACAS, 2015)

Computational techniques for reachability analysis of Max-Plus-Linear systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (Autom., 2015)

Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. - Majid Zamani 001; Alessandro Abate; Antoine Girard (Autom., 2015)

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version). - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (CoRR, 2015)

Observer-based correct-by-design controller synthesis. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (CoRR, 2015)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (Log. Methods Comput. Sci., 2015)

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (IEEE Trans. Control. Syst. Technol., 2015)

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. - Alessandro Abate; Milan Ceska 002; Marta Kwiatkowska (ATVA, 2016)

Verification of Networks of Smart Energy Systems over the Cloud. - Alessandro Abate (NSV@CAV, 2016)

Experiment design for formal verification via stochastic optimal control. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (ECC, 2016)

Efficient HVAC controls: A symbolic approach. - Ondrej Holub; Majid Zamani 001; Alessandro Abate (ECC, 2016)

Safety verification of output feedback controllers for nonlinear systems. - Kendra Lesser; Alessandro Abate (ECC, 2016)

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. - Sofie Haesaert; Alessandro Abate; Paul M. J. Van den Hof (QEST, 2016)

Data-Efficient Bayesian Verification of Parametric Markov Chains. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2016)

Formal and Data Association Aware Robust Belief Space Planning. - Shashank Pathak; Sadegh Esmaeil Zadeh Soudjani; Vadim Indelman; Alessandro Abate (STAIRS, 2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes. - Sadegh Esmaeil Zadeh Soudjani; Rupak Majumdar; Alessandro Abate (TACAS, 2016)

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. - Dieky Adzkiya; Yining Zhang; Alessandro Abate (Discret. Event Dyn. Syst., 2016)

Formal Verification of Stochastic Max-Plus-Linear Systems. - Sadegh Esmaeil Zadeh Soudjani; Dieky Adzkiya; Alessandro Abate (IEEE Trans. Autom. Control., 2016)

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (CAV (1), 2017)

Sound Numerical Computations in Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (NSV@CAV, 2017)

Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Alessandro Abate; Maria Domenica Di Benedetto (CDC, 2017)

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe (ARCH@CPSWeek, 2017)

On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. - Gaoang Bian; Alessandro Abate (FoSSaCS, 2017)

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening (HSCC, 2017)

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. - Luca Laurenti; Alessandro Abate; Luca Bortolussi; Luca Cardelli; Milan Ceska 002; Marta Z. Kwiatkowska (HSCC, 2017)

Multi-objective optimal control with safety as a priority. - Kendra Lesser; Alessandro Abate (ICCPS, 2017)

DSSynth: an automated digital controller synthesis tool for physical plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lennon C. Chaves; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (ASE, 2017)

Formal verification of complex systems: model-based and data-driven methods. - Alessandro Abate (MEMOCODE, 2017)

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (QEST, 2017)

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2017)

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. - Nathalie Cauchi; Khaza Anuarul Hoque; Alessandro Abate; Mariëlle Stoelinga (BuildSys, 2017)

Dynamic Bayesian networks for formal verification of structured stochastic processes. - Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate; Rupak Majumdar (Acta Informatica, 2017)

Data-driven and model-based verification via Bayesian identification and reachability analysis. - Sofie Haesaert; Paul M. J. Van den Hof; Alessandro Abate (Autom., 2017)

On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). - Gaoang Bian; Alessandro Abate (CoRR, 2017)

Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. - Fei Chen; Sofie Haesaert; Alessandro Abate; Siep Weiland (CoRR, 2017)

Safe Policy Search with Gaussian Process Models. - Kyriakos Polymenakos; Alessandro Abate; Stephen J. Roberts (CoRR, 2017)

Towards scalable synthesis of stochastic control systems. - Majid Zamani 001; Ilya Tkachev; Alessandro Abate (Discret. Event Dyn. Syst., 2017)

Quantitative model-checking of controlled discrete-time Markov processes. - Ilya Tkachev; Alexandru Mereacre; Joost-Pieter Katoen; Alessandro Abate (Inf. Comput., 2017)

Certified policy synthesis for general Markov decision processes: An application in building automation systems. - Sofie Haesaert; Nathalie Cauchi; Alessandro Abate (Perform. Evaluation, 2017)

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. - Sofie Haesaert; Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (SIAM J. Control. Optim., 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Benchmarks for cyber-physical systems: A modular model library for building automation systems. - Nathalie Cauchi; Alessandro Abate (ADHS, 2018)

Benchmarks for stochastic models from building automation systems. - Nathalie Cauchi; Alessandro Abate (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH@ADHS, 2018)

Temporal logic control of general Markov decision processes by approximate policy refinement. - Sofie Haesaert; Sadegh Soudjani; Alessandro Abate (ADHS, 2018)

Approximate Abstractions of Markov Chains with Interval Decision Processes. - Yuriy Zacchia Lun; Jack Wheatley; Alessandro D'Innocenzo; Alessandro Abate (ADHS, 2018)

Counterexample Guided Inductive Synthesis Modulo Theories. - Alessandro Abate; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (CAV (1), 2018)

Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (CDC, 2018)

Experimental Biological Protocols with Formal Semantics. - Alessandro Abate; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Boyan Yordanov (CMSB, 2018)

Modelling Smart Buildings Using Fault Maintenance Trees. - Alessandro Abate; Carlos E. Budde; Nathalie Cauchi; Arnaud van Harmelen; Khaza Anuarul Hoque; Mariëlle Stoelinga (EPEW, 2018)

Tropical Abstractions of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (FORMATS, 2018)

Logically-Correct Reinforcement Learning. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2018)

Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version). - Nathalie Cauchi; Alessandro Abate (CoRR, 2018)

Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version). - Yuriy Zacchia Lun; Jack Wheatley; Alessandro D'Innocenzo; Alessandro Abate (CoRR, 2018)

Symbolic Abstractions of Networked Control Systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Mahmoud Khaled; Alessandro Abate (IEEE Trans. Control. Netw. Syst., 2018)

Multiobjective Optimal Control With Safety as a Priority. - Kendra Lesser; Alessandro Abate (IEEE Trans. Control. Syst. Technol., 2018)

Maintenance of Smart Buildings using Fault Trees. - Nathalie Cauchi; Khaza Anuarul Hoque; Mariëlle Stoelinga; Alessandro Abate (ACM Trans. Sens. Networks, 2018)

Towards Verifiable and Safe Model-Free Reinforcement Learning. - Mohammadhosein Hasanbeig; Daniel Kroening; Alessandro Abate (OVERLAY@AI*IA, 2019)

Logically-Constrained Neural Fitted Q-iteration. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (AAMAS, 2019)

Safe Policy Search Using Gaussian Process Models. - Kyriakos Polymenakos; Alessandro Abate; Stephen J. Roberts (AAMAS, 2019)

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. - Mohammadhosein Hasanbeig; Yiannis Kantaros; Alessandro Abate; Daniel Kroening; George J. Pappas; Insup Lee 001 (CDC, 2019)

ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Anna Becchi; Lei Bu; Alessandro Cimatti; Mirco Giacobbe; Alberto Griggio; Sergio Mover; Muhammad Syifa'ul Mufid; Idriss Riouak; Stefano Tonetta; et al. (ARCH@CPSIoTWeek, 2019)

Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro Abate; Alessandro D'Innocenzo (ECC, 2019)

Bayesian Verification of Chemical Reaction Networks. - Gareth W. Molyneux; Viraj B. Wijesuriya; Alessandro Abate (FM Workshops (2), 2019)

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (FORMATS, 2019)

StocHy - automated verification and synthesis of stochastic processes: poster abstract. - Nathalie Cauchi; Alessandro Abate (HSCC, 2019)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. - Nathalie Cauchi; Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Marta Kwiatkowska; Luca Cardelli (HSCC, 2019)

Safety Guarantees for the Electricity Grid with Significant Renewables Generation. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (QEST, 2019)

Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. - Viraj Brian Wijesuriya; Alessandro Abate (QEST, 2019)

mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes. - Nathalie Cauchi; Alessandro Abate (TACAS (2), 2019)

StocHy: automated verification and synthesis of stochastic processes. - Nathalie Cauchi; Kurt Degiorgio; Alessandro Abate (CoRR, 2019)

Certified Reinforcement Learning with Logic Guidance. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2019)

Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version). - Yuriy Zacchia Lun; Alessandro Abate; Alessandro D'Innocenzo (CoRR, 2019)

Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings. - Khaza Anuarul Hoque; Nathalie Cauchi; Alessandro Abate (CoRR, 2019)

Verifying Reachability Properties in Markov Chains via Incremental Induction. - Elizabeth Polgreen; Martin Brain; Martin Fränzle; Alessandro Abate (CoRR, 2019)

Modular Deep Reinforcement Learning with Temporal Logic Specifications. - Lim Zun Yuan; Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2019)

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. - Mohammadhosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (CoRR, 2019)

Safety Guarantees for Planning Based on Iterative Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CoRR, 2019)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Lei Bu; Alessandro Abate; Dieky Adzkiya; Muhammad Syifa'ul Mufid; Rajarshi Ray 001; Yuming Wu; Enea Zaffanella (ARCH, 2020)

Cautious Reinforcement Learning with Logical Constraints. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (AAMAS, 2020)

Safety Guarantees for Iterative Predictions with Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CDC, 2020)

ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks. - Gareth W. Molyneux; Alessandro Abate (CMSB, 2020)

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. - Alessandro Abate; Alessandro Cimatti; Andrea Micheli; Muhammad Syifa'ul Mufid (FORMATS, 2020)

Deep Reinforcement Learning with Temporal Logics. - Mohammadhosein Hasanbeig; Daniel Kroening; Alessandro Abate (FORMATS, 2020)

A Randomized Algorithm to Reduce the Support of Discrete Measures. - Francesco Cosentino; Harald Oberhauser; Alessandro Abate (NeurIPS, 2020)

SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis. - Kyriakos Polymenakos; Nikitas Rontsis; Alessandro Abate; Stephen J. Roberts (QEST, 2020)

SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes. - Joe Brown; Jonathan Chambers; Alessandro Abate; Alex Rogers (BuildSys, 2020)

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. - Daniele Ahmed; Andrea Peruffo; Alessandro Abate (TACAS (1), 2020)

Automated formal synthesis of provably safe digital controllers for continuous plants. - Alessandro Abate; Iury Bessa; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (Acta Informatica, 2020)

Automated Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (CoRR, 2020)

Acceleration of Descent-based Optimization Algorithms via Carathéodory's Theorem. - Francesco Cosentino; Harald Oberhauser; Alessandro Abate (CoRR, 2020)

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer. - Thomas J. Ringstrom; Mohammadhosein Hasanbeig; Alessandro Abate (CoRR, 2020)

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. - Andrea Peruffo; Daniele Ahmed; Alessandro Abate (CoRR, 2020)

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (CoRR, 2020)

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. - Mohammadhosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (AAAI, 2021)

A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. - Ahmad Madary; Hamid Reza Momeni; Alessandro Abate; Kim G. Larsen (ADHS, 2021)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

Multi-Agent Reinforcement Learning with Temporal Logic Specifications. - Lewis Hammond; Alessandro Abate; Julian Gutierrez 001; Michael J. Wooldridge (AAMAS, 2021)

Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. - Lewis Hammond; James Fox; Tom Everitt; Alessandro Abate; Michael J. Wooldridge (AAMAS, 2021)

Learning Probabilistic Termination Proofs. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (2), 2021)

SMT-Based Model Checking of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Andrea Micheli; Alessandro Abate; Alessandro Cimatti (CONCUR, 2021)

Formal Abstraction and Synthesis of Parametric Stochastic Processes. - Andrea Peruffo; Alessandro Abate (FORMATS, 2021)

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (OVERLAY@GandALF, 2021)

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (HSCC, 2021)

PyCID: A Python Library for Causal Influence Diagrams. - James Fox; Tom Everitt; Ryan Carey; Eric D. Langlois 002; Alessandro Abate; Michael J. Wooldridge (SciPy, 2021)

QUILT: quantify, infer and label the thermal efficiency of heating and cooling residential homes. - Joe Brown; Alessandro Abate; Alex Rogers (BuildSys, 2021)

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. - Andrea Peruffo; Daniele Ahmed; Alessandro Abate (TACAS (1), 2021)

Certification of iterative predictions in Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (UAI, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (IEEE Control. Syst. Lett., 2021)

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (J. Autom. Reason., 2021)

Resilient monitoring in self-adaptive systems through behavioral parameter estimation. - Mehran Alidoost Nia; Mehdi Kargahi; Alessandro Abate (J. Syst. Archit., 2021)

Adaptive formal approximations of Markov chains. - Alessandro Abate; Roman Andriushchenko; Milan Ceska 002; Marta Kwiatkowska (Perform. Evaluation, 2021)

Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems. - Sofie Haesaert; Fei Chen; Alessandro Abate; Siep Weiland (IEEE Trans. Autom. Control., 2021)

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. - Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Luca Cardelli; Marta Kwiatkowska (IEEE Trans. Autom. Control., 2021)

Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (IEEE Trans. Control. Syst. Technol., 2021)

Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic. - Mingyu Cai; Mohammadhosein Hasanbeig; Shaoping Xiao; Alessandro Abate; Zhen Kan (IEEE Robotics Autom. Lett., 2021)

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. - Thom S. Badings; Alessandro Abate; Nils Jansen 001; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga (AAAI, 2022)

ARCH-COMP22 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Birgit van Huijgevoort; Abolfazl Lavaei; Hao Ma; Mathis Niehage; Anne Remke; Oliver Schön; Stefan Schupp; et al. (ARCH@SAFECOMP, 2022)

Lexicographic Multi-Objective Reinforcement Learning. - Joar Skalse; Lewis Hammond; Charlie Griffin; Alessandro Abate (IJCAI, 2022)

Neural Abstractions. - Alessandro Abate; Alec Edwards; Mirco Giacobbe (NeurIPS, 2022)

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. - Mohammadhosein Hasanbeig; Daniel Kroening; Alessandro Abate (QEST, 2022)

Automated verification and synthesis of stochastic hybrid systems: A survey. - Abolfazl Lavaei; Sadegh Soudjani; Alessandro Abate; Majid Zamani 001 (Autom., 2022)

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. - Hosein Hasanbeig; Daniel Kroening; Alessandro Abate (CoRR, 2022)

Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. - Daniel Jarne Ornia; Licio Romao; Lewis Hammond; Manuel Mazo Jr. 002; Alessandro Abate (CoRR, 2022)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen 001; Alessandro Abate (CoRR, 2022)

Special issue: Formal verification of cyber-physical systems. - Luca Geretti; Alessandro Abate; Pierluigi Nuzzo 002; Tiziano Villa (Inf. Comput., 2022)

Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. - Ahmad Madary; Hamid Reza Momeni; Alessandro Abate; Kim G. Larsen (Inf. Comput., 2022)

Introduction to the Special Issue on Distributed Hybrid Systems. - Alessandro Abate; Uli Fahrenberg; Martin Fränzle (Leibniz Trans. Embed. Syst., 2022)

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. - Yulong Gao; Alessandro Abate; Frank J. Jiang; Mirco Giacobbe; Lihua Xie 001; Karl Henrik Johansson (IEEE Trans. Autom. Control., 2022)

SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (IEEE Trans. Autom. Control., 2022)

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (AAAI, 2023)

Low Emission Building Control with Zero-Shot Reinforcement Learning. - Scott R. Jeen; Alessandro Abate; Jonathan M. Cullen (AAAI, 2023)

Misspecification in Inverse Reinforcement Learning. - Joar Skalse; Alessandro Abate (AAAI, 2023)

ARCH-COMP23 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2023)

k-Prize Weighted Voting Game. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (AAMAS, 2023)

Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CDC, 2023)

Abstracting Linear Stochastic Systems via Knowledge Filtering. - Maico Hendrikus Wilhelmus Engelaar; Licio Romao; Yulong Gao; Mircea Lazar; Alessandro Abate; Sofie Haesaert (CDC, 2023)

Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Alessandro Abate; Luca Laurenti (CDC, 2023)

An Exact Characterisation of Flexibility in Populations of Electric Vehicles. - Karan Mukhi; Alessandro Abate (CDC, 2023)

Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. - Licio Romao; Ashish R. Hota; Alessandro Abate (CDC, 2023)

Quantitative Verification with Neural Networks. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CONCUR, 2023)

Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. - Alessandro Abate; Yousif Almulla; James Fox; David Hyland; Michael J. Wooldridge (ECAI, 2023)

Invariance in Policy Optimisation and Partial Identifiability in Reward Learning. - Joar Max Viktor Skalse; Matthew Farrugia-Roberts; Stuart Russell 001; Alessandro Abate; Adam Gleave (ICML, 2023)

Data-driven memory-dependent abstractions of dynamical systems. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (L4DC, 2023)

Policy Evaluation in Distributional LQR. - Zifan Wang 002; Yulong Gao; Siyi Wang; Michael M. Zavlanos; Alessandro Abate; Karl Henrik Johansson (L4DC, 2023)

On the Trade-Off Between Efficiency and Precision of Neural Abstraction. - Alec Edwards; Mirco Giacobbe; Alessandro Abate (QEST, 2023)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Alessandro Abate (QEST, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics@ETAPS, 2023)

On the limitations of Markovian rewards to express multi-objective, risk-sensitive, and modal tasks. - Joar Skalse; Alessandro Abate (UAI, 2023)

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CoRR, 2023)

k-Prize Weighted Voting Games. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CoRR, 2023)

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CoRR, 2023)

Robust Tube Model Predictive Control with Uncertainty Quantification for Discrete-Time Linear Systems. - Yulong Gao; Shuhao Yan; Jian Zhou; Mark Cannon; Alessandro Abate; Karl Henrik Johansson (CoRR, 2023)

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. - Maico Hendrikus Wilhelmus Engelaar; Licio Romao; Yulong Gao; Mircea Lazar; Alessandro Abate; Sofie Haesaert (CoRR, 2023)

Networked Communication for Decentralised Agents in Mean-Field Games. - Patrick Benjamin; Alessandro Abate (CoRR, 2023)

On Imperfect Recall in Multi-Agent Influence Diagrams. - James Fox; Matt MacDermott; Lewis Hammond; Paul Harrenstein; Alessandro Abate; Michael J. Wooldridge (TARK, 2023)

Formal Analysis and Verification of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Andrea Micheli; Alessandro Abate; Alessandro Cimatti (CoRR, 2023)

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. - Alec Edwards; Andrea Peruffo; Alessandro Abate (CoRR, 2023)

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. - Thom S. Badings; Nils Jansen 001; Licio Romao; Alessandro Abate (FMAS@iFM, 2023)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. - Thom S. Badings; Licio Romao; Alessandro Abate; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (J. Artif. Intell. Res., 2023)

Synthesising Programs with Non-trivial Constants. - Alessandro Abate; Haniel Barbosa; Clark W. Barrett; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen; Andrew Reynolds 001; Cesare Tinelli (J. Autom. Reason., 2023)

Reasoning about causality in games. - Lewis Hammond; James Fox; Tom Everitt; Ryan Carey; Alessandro Abate; Michael J. Wooldridge (Artif. Intell., 2023)

Certified reinforcement learning with logic guidance. - Hosein Hasanbeig; Daniel Kroening; Alessandro Abate (Artif. Intell., 2023)

Grid-Free Computation of Probabilistic Safety With Malliavin Calculus. - Francesco Cosentino; Harald Oberhauser; Alessandro Abate (IEEE Trans. Autom. Control., 2023)

Introduction to the Special Issue on QEST 2021. - Alessandro Abate; Andrea Marin (ACM Trans. Model. Comput. Simul., 2023)

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (AAAI, 2024)

Reasoning about Causality in Games (Abstract Reprint). - Lewis Hammond; James Fox; Tom Everitt; Ryan Carey; Alessandro Abate; Michael J. Wooldridge (AAAI, 2024)

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. - Rohan Mitta; Hosein Hasanbeig; Jun Wang 135; Daniel Kroening; Yiannis Kantaros; Alessandro Abate (AAAI, 2024)

Safe Reach Set Computation via Neural Barrier Certificates. - Alessandro Abate; Sergiy Bogomolov; Alec Edwards; Kostiantyn Potomkin; Sadegh Soudjani; Paolo Zuliani (ADHS, 2024)

Model Checking and Strategy Synthesis with Abstractions and Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy; Yannik Schnitzer (Principles of Verification (2), 2024)

Stochastic Omega-Regular Verification and Control with Supermartingales. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (3), 2024)

Bisimulation Learning. - Alessandro Abate; Mirco Giacobbe; Yannik Schnitzer (CAV (3), 2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (ECC, 2024)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. - Alec Edwards; Andrea Peruffo; Alessandro Abate (HSCC, 2024)

CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. - Yulong Gao; Karl Henrik Johansson; Alessandro Abate (HSCC, 2024)

Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. - Joar Max Viktor Skalse; Alessandro Abate (ICLR, 2024)

STARC: A General Framework For Quantifying Differences Between Reward Functions. - Joar Max Viktor Skalse; Lucy Farnik; Sumeet Ramesh Motwani; Erik Jenner; Adam Gleave; Alessandro Abate (ICLR, 2024)

Learning-based rigid tube model predictive control. - Yulong Gao; Shuhao Yan; Jian Zhou; Mark Cannon; Alessandro Abate; Karl Henrik Johansson (L4DC, 2024)

Bounded robustness in reinforcement learning via lexicographic objectives. - Daniel Jarne Ornia; Licio Romao; Lewis Hammond; Manuel Mazo Jr. 002; Alessandro Abate (L4DC, 2024)

Learning robust policies for uncertain parametric Markov decision processes. - Luke Rickard; Alessandro Abate; Kostas Margellos (L4DC, 2024)

Deep Bayesian Active Learning for Preference Modeling in Large Language Models. - Luckeciano Carvalho Melo; Panagiotis Tigas; Alessandro Abate; Yarin Gal (NeurIPS, 2024)

Walking the Values in Bayesian Inverse Reinforcement Learning. - Ondrej Bajgar; Alessandro Abate; Konstantinos Gatsis; Michael A. Osborne (UAI, 2024)

Probabilistic reach-avoid for Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (Artif. Intell., 2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. - Alexandros E. Tzikas; Licio Romao; Mert Pilanci; Alessandro Abate; Mykel J. Kochenderfer (CoRR, 2024)

Data-driven Interval MDP for Robust Control Synthesis. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo Jr. 002 (CoRR, 2024)

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. - David Dalrymple; Joar Skalse; Yoshua Bengio; Stuart Russell 001; Max Tegmark; Sanjit Seshia; Steve Omohundro; Christian Szegedy; Ben Goldhaber; Nora Ammann; Alessandro Abate; Joe Halpern; et al. (CoRR, 2024)

Distributionally Robust Aggregation of Electric Vehicle Flexibility. - Karan Mukhi; Chengrui Qu; Pengcheng You; Alessandro Abate (CoRR, 2024)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CoRR, 2024)

The Perils of Optimizing Learned Reward Functions: Low Training Error Does Not Guarantee Low Regret. - Lukas Fluri; Leon Lang; Alessandro Abate; Patrick Forré; David Krueger 001; Joar Skalse (CoRR, 2024)

Learning Provably Robust Policies in Uncertain Parametric Environments. - Yannik Schnitzer; Alessandro Abate; David Parker 001 (CoRR, 2024)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation. - Patrick Benjamin; Alessandro Abate (CoRR, 2024)

Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols. - Charlie Griffin; Louis Thomson; Buck Shlegeris; Alessandro Abate (CoRR, 2024)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications. - Mathias Jackermeier; Alessandro Abate (CoRR, 2024)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Luca Laurenti; Alessandro Abate (CoRR, 2024)

Temporal-Difference Variational Continual Learning. - Luckeciano C. Melo; Alessandro Abate; Yarin Gal (CoRR, 2024)

Partial Identifiability and Misspecification in Inverse Reinforcement Learning. - Joar Skalse; Alessandro Abate (CoRR, 2024)

Risk-Averse Certification of Bayesian Neural Networks. - Xiyue Zhang 001; Zifan Wang; Yulong Gao; Licio Romao; Alessandro Abate; Marta Kwiatkowska (CoRR, 2024)

Subversion Strategy Eval: Evaluating AI's stateless strategic capabilities against control protocols. - Alex Mallen; Charlie Griffin; Alessandro Abate; Buck Shlegeris (CoRR, 2024)

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo 002 (IEEE Control. Syst. Lett., 2024)

Symbolic Task Inference in Deep Reinforcement Learning. - Hosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (J. Artif. Intell. Res., 2024)

Distributional Reachability for Markov Decision Processes: Theory and Applications. - Yulong Gao; Alessandro Abate; Lihua Xie 001; Karl Henrik Johansson (IEEE Trans. Autom. Control., 2024)

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. - Thom S. Badings; Licio Romao; Alessandro Abate; Dave Parker; Hasan Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2024)

Fossil. - Alec Edwards; Andrea Peruffo; Alessandro Abate (Zenodo, 2024)

Partial Identifiability in Inverse Reinforcement Learning for Agents with Non-Exponential Discounting. - Joar Max Viktor Skalse; Alessandro Abate (AAAI, 2025)

Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees. - Yulong Gao; Can Zhou; Alessandro Abate; Karl Henrik Johansson (Real Time and Such, 2025)

Branching Bisimulation Learning. - Alessandro Abate; Mirco Giacobbe; Christian Micheletti; Yannik Schnitzer (CAV (4), 2025)

Quantitative Supermartingale Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (2), 2025)

In Which Areas of Technical AI Safety Could Geopolitical Rivals Cooperate? - Ben Bucknall; Saad Siddiqui; Lara Thurnherr; Conor McGurk; Ben Harack; Anka Reuel; Patricia Paskov; Casey Mahoney; Sören Mindermann; Scott Singer; Vinay Hiremath; Charbel-Raphaël Ségerie; et al. (FAccT, 2025)

Robust Aggregation of Electric Vehicle Flexibility. - Karan Mukhi; Chengrui Qu; Pengcheng You; Alessandro Abate (HSCC, 2025)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL. - Mathias Jackermeier; Alessandro Abate (ICLR, 2025)

Equilibrium Selection via Communication Partition. - Wei-Chen Lee; Alessandro Abate; Michael J. Wooldridge (AAMAS, 2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. - Ibon Gracia; Luca Laurenti; Manuel Mazo Jr. 002; Alessandro Abate; Morteza Lahijanian (L4DC, 2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems. - Mahdi Nazeri; Thom S. Badings; Sadegh Soudjani; Alessandro Abate (L4DC, 2025)

Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (NeuS, 2025)

Certifiably Robust Policies for Uncertain Parametric Environments. - Yannik Schnitzer; Alessandro Abate; David Parker 001 (TACAS (3), 2025)

Modular Training of Neural Networks aids Interpretability. - Satvik Golechha; Maheep Chaudhary; Joan Velja; Alessandro Abate; Nandi Schoots (CoRR, 2025)

Data-Driven Neural Certificate Synthesis. - Luke Rickard; Alessandro Abate; Kostas Margellos (CoRR, 2025)

Multi-agent coordination via communication partitions. - Wei-Chen Lee; Alessandro Abate; Michael J. Wooldridge (CoRR, 2025)

Networked Communication for Decentralised Cooperative Agents in Mean-Field Control. - Patrick Benjamin; Alessandro Abate (CoRR, 2025)

Continuous-time Data-driven Barrier Certificate Synthesis. - Luke Rickard; Alessandro Abate; Kostas Margellos (CoRR, 2025)

Exact Characterization of Aggregate Flexibility via Generalized Polymatroids. - Karan Mukhi; Georg Loho; Alessandro Abate (CoRR, 2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets. - Prashant Solanki; Nikolaus Vertovec; Yannik Schnitzer; Jasper J. van Beers; Cornelis C. de Visser; Alessandro Abate (CoRR, 2025)

Efficient Model Verification at Runtime through Adaptive Dynamic Approximation. - Mehran Alidoost Nia; Radu Calinescu; Mehdi Kargahi; Alessandro Abate (ACM Trans. Auton. Adapt. Syst., 2025)

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids. - Karan Mukhi; Alessandro Abate (CoRR, 2025)

SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL. - Jacques Cloete; Nikolaus Vertovec; Alessandro Abate (CoRR, 2025)

In Which Areas of Technical AI Safety Could Geopolitical Rivals Cooperate? - Ben Bucknall; Saad Siddiqui; Lara Thurnherr; Conor McGurk; Ben Harack; Anka Reuel; Patricia Paskov; Casey Mahoney; Sören Mindermann; Scott Singer; Vinay Hiremath; Charbel-Raphaël Ségerie; et al. (CoRR, 2025)

LLM-Enhanced Symbolic Control for Safety-Critical Applications. - Amir Bayat; Alessandro Abate; Necmiye Ozay; Raphaël M. Jungers (CoRR, 2025)

Certified Neural Approximations of Nonlinear Dynamics. - Frederik Baymler Mathiesen; Nikolaus Vertovec; Francesco Fabiano; Luca Laurenti; Alessandro Abate (CoRR, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - Alessandro Abate; Omid Akbarzadeh; Henk A. P. Blom; Sofie Haesaert; Sina Hassani; Abolfazl Lavaei; Frederik Baymler Mathiesen; Rahul Misra; Amy Nejati; Mathis Niehage; Fie Ørum; Anne Remke; et al. (CoRR, 2025)

Efficient Solution and Learning of Robust Factored MDPs. - Yannik Schnitzer; Alessandro Abate; David Parker 001 (CoRR, 2025)

PAC Apprenticeship Learning with Bayesian Active Inverse Reinforcement Learning. - Ondrej Bajgar; Dewi S. W. Gould; Jonathon Liu; Alessandro Abate; Konstantinos Gatsis; Michael A. Osborne (CoRR, 2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems. - Thom S. Badings; Alessandro Abate (CoRR, 2025)

Best-Effort Policies for Robust Markov Decision Processes. - Alessandro Abate; Thom S. Badings; Giuseppe De Giacomo; Francesco Fabiano (CoRR, 2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics. - Mahdi Nazeri; Thom S. Badings; Anne-Kathrin Schmuck; Sadegh Soudjani; Alessandro Abate (CoRR, 2025)

Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models. - Alec Edwards; Andrea Peruffo; Alessandro Abate (Sci. Comput. Program., 2026)