Alessandro Abate

444 papers A* 24A 17B 8C 13Journal 222Unranked 150
YearRankTypeTitle / Venue / Authors
2026 A* conf
Best-Effort Policies for Robust Markov Decision Processes.
AAAI
Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano
2026 J jnl
Data-driven certificate synthesis.
Autom.
Luke Rickard, Alessandro Abate, Kostas Margellos
2026 A* conf
Efficient Solution and Learning of Robust Factored MDPs.
AAAI
Yannik Schnitzer, Alessandro Abate, David Parker
2026 J jnl
Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models.
Sci. Comput. Program.
Alec Edwards, Andrea Peruffo, Alessandro Abate
2026 J jnl
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification.
CoRR
Erik Y. Wang, Sumeet Motwani, James V. Roggeveen, Eliot Hodges, Dulhan Jayalath, Charles London, Kalyan Ramakrishnan, Flaviu Cipcigan, Philip Torr, Alessandro Abate
2026 A* conf
Incremental Data-Driven Policy Synthesis via Game Abstractions.
AAAI
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2026 J jnl
Multi-Property Synthesis.
CoRR
Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi
2026 J jnl
PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL.
CoRR
Jacques Cloete, Mathias Jackermeier, Ioannis Havoutis, Alessandro Abate
2026 J jnl
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning.
CoRR
Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, David Parker
2026 J jnl
Quantitative Verification with Neural Networks.
Log. Methods Comput. Sci.
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2026 J jnl
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions.
CoRR
Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber
2026 A* conf
Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint).
AAAI
Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2026 J jnl
When can we trust untrusted monitoring? A safety case sketch across collusion strategies.
CoRR
Nelson Gardner-Challis, Jonathan Bostock, Georgiy Kozhevnikov, Morgan Sinclaire, Joan Velja, Alessandro Abate, Charlie Griffin
2026 J jnl
Zero-Shot Instruction Following in RL via Structured LTL Representations.
CoRR
Mathias Jackermeier, Mattia Giuri, Jacques Cloete, Alessandro Abate
2025 — ed.
7th Annual Learning for Dynamics & Control Conference, Ann Arbor, MI, USA, 4-6 June 2025.
L4DC
Necmiye Ozay, Laura Balzano, Dimitra Panagou, Alessandro Abate
2025 J jnl
A general framework for verification and control of dynamical models via certificate synthesis.
Annu. Rev. Control.
Alec Edwards, Andrea Peruffo, Alessandro Abate
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
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, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2025 — conf
Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees.
Real Time and Such
Yulong Gao, Can Zhou, Alessandro Abate, Karl Henrik Johansson
2025 J jnl
Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids.
CoRR
Karan Mukhi, Alessandro Abate
2025 J jnl
Best-Effort Policies for Robust Markov Decision Processes.
CoRR
Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano
2025 — conf
Branching Bisimulation Learning.
CAV (4)
Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2025 J jnl
Branching Bisimulation Learning.
CoRR
Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2025 — conf
Certifiably Robust Policies for Uncertain Parametric Environments.
TACAS (3)
Yannik Schnitzer, Alessandro Abate, David Parker
2025 — conf
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets.
CDC
Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate
2025 J jnl
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets.
CoRR
Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate
2025 J jnl
Certified Neural Approximations of Nonlinear Dynamics.
CoRR
Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate
2025 J jnl
Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach.
CoRR
Adrien Banse, Alessandro Abate, Raphaël M. Jungers
2025 — conf
Continuous-time Data-driven Barrier Certificate Synthesis.
CDC
Luke Rickard, Alessandro Abate, Kostas Margellos
2025 J jnl
Continuous-time Data-driven Barrier Certificate Synthesis.
CoRR
Luke Rickard, Alessandro Abate, Kostas Margellos
2025 — conf
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CDC
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CoRR
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Memory-Dependent Abstractions of Dynamical Systems via a Cantor-Kantorovich Metric.
IEEE Trans. Autom. Control.
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2025 J jnl
Data-Driven Neural Certificate Synthesis.
CoRR
Luke Rickard, Alessandro Abate, Kostas Margellos
2025 — conf
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
L4DC
Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
CoRR
Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
2025 A* conf
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL.
ICLR
Mathias Jackermeier, Alessandro Abate
2025 J jnl
Efficient Model Verification at Runtime through Adaptive Dynamic Approximation.
ACM Trans. Auton. Adapt. Syst.
Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, Alessandro Abate
2025 J jnl
Efficient Solution and Learning of Robust Factored MDPs.
CoRR
Yannik Schnitzer, Alessandro Abate, David Parker
2025 A conf
Equilibrium Selection via Communication Partition.
AAMAS
Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge
2025 J jnl
Exact Characterization of Aggregate Flexibility via Generalized Polymatroids.
CoRR
Karan Mukhi, Georg Loho, Alessandro Abate
2025 J jnl
Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets.
CoRR
Karan Mukhi, Licio Romao, Alessandro Abate
2025 J jnl
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems.
CoRR
Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe, Alessandro Abate, Manuel Mazo Jr.
2025 — conf
Fair Control of Uncertain Dynamical Systems under LTL Specifications.
CDC
Can Zhou, Pian Yu, Thomas Parisini, Alessandro Abate, Yulong Gao
2025 J jnl
Fair Coordination in Strategic Scheduling.
CoRR
Wei-Chen Lee, Martin Bullinger, Alessandro Abate, Michael J. Wooldridge
2025 — conf
Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks.
NeuS
Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate
2025 — conf
In Which Areas of Technical AI Safety Could Geopolitical Rivals Cooperate?
FAccT
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, Oscar Delaney, Alessandro Abate, Fazl Barez, Michael K. Cohen, Philip Torr, Ferenc Huszár, Anisoara Calinescu, Gabriel Davis Jones, Robert Trager
2025 J jnl
In Which Areas of Technical AI Safety Could Geopolitical Rivals Cooperate?
CoRR
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, Oscar Delaney, Alessandro Abate, Fazl Barez, Michael K. Cohen, Philip Torr, Ferenc Huszár, Anisoara Calinescu, Gabriel Davis Jones, Yoshua Bengio, Robert Trager
2025 J jnl
Incremental Data-Driven Policy Synthesis via Game Abstractions.
CoRR
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2025 J jnl
LLM-Enhanced Symbolic Control for Safety-Critical Applications.
CoRR
Amir Bayat, Alessandro Abate, Necmiye Ozay, Raphaël M. Jungers
2025 J jnl
Modular Training of Neural Networks aids Interpretability.
CoRR
Satvik Golechha, Maheep Chaudhary, Joan Velja, Alessandro Abate, Nandi Schoots
2025 J jnl
Multi-agent coordination via communication partitions.
CoRR
Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge
2025 J jnl
Networked Communication for Decentralised Cooperative Agents in Mean-Field Control.
CoRR
Patrick Benjamin, Alessandro Abate
2025 A conf
Neural Proofs for Sound Verification and Control of Complex Systems.
ECAI
Alessandro Abate
2025 J jnl
Neural Proofs for Sound Verification and Control of Complex Systems.
CoRR
Alessandro Abate
2025 J jnl
PAC Apprenticeship Learning with Bayesian Active Inverse Reinforcement Learning.
CoRR
Ondrej Bajgar, Dewi S. W. Gould, Jonathon Liu, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne
2025 A* conf
Partial Identifiability in Inverse Reinforcement Learning for Agents with Non-Exponential Discounting.
AAAI
Joar Max Viktor Skalse, Alessandro Abate
2025 A conf
Partition Equilibria in Weighted Singleton Congestion Games.
ECAI
Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge
2025 J jnl
Policy Evaluation in Distributional LQR.
IEEE Trans. Autom. Control.
Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson
2025 J jnl
Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints.
CoRR
Karan Mukhi, Alessandro Abate
2025 — conf
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems.
CDC
Thom Badings, Alessandro Abate
2025 J jnl
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems.
CoRR
Thom Badings, Alessandro Abate
2025 — conf
Quantitative Supermartingale Certificates.
CAV (2)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2025 J jnl
Quantitative Supermartingale Certificates.
CoRR
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2025 — conf
Robust Aggregation of Electric Vehicle Flexibility.
HSCC
Karan Mukhi, Chengrui Qu, Pengcheng You, Alessandro Abate
2025 A* conf
SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL.
IJCAI
Jacques Cloete, Nikolaus Vertovec, Alessandro Abate
2025 J jnl
SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL.
CoRR
Jacques Cloete, Nikolaus Vertovec, Alessandro Abate
2025 J jnl
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.
CoRR
Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate
2025 J jnl
Stabilizing Policy Gradients for Sample-Efficient Reinforcement Learning in LLM Reasoning.
CoRR
Luckeciano C. Melo, Alessandro Abate, Yarin Gal
2025 — conf
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.
L4DC
Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2025 A* conf
The Perils of Optimizing Learned Reward Functions: Low Training Error Does Not Guarantee Low Regret.
ICML
Lukas Fluri, Leon Lang, Alessandro Abate, Patrick Forré, David Krueger, Joar Max Viktor Skalse
2025 J jnl
Zero-Shot Instruction Following in RL via Structured LTL Representations.
CoRR
Mattia Giuri, Mathias Jackermeier, Alessandro Abate
2024 — ed.
6th Annual Learning for Dynamics & Control Conference, 15-17 July 2024, University of Oxford, Oxford, UK.
L4DC
Alessandro Abate, Mark Cannon, Kostas Margellos, Antonis Papachristodoulou
2024 — conf
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
ECC
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024 J jnl
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024 J jnl
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution.
CoRR
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate
2024 — conf
Bisimulation Learning.
CAV (3)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
2024 J jnl
Bisimulation Learning.
CoRR
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
2024 — conf
Bounded robustness in reinforcement learning via lexicographic objectives.
L4DC
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
2024 — conf
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations.
HSCC
Yulong Gao, Karl Henrik Johansson, Alessandro Abate
2024 J jnl
Data-driven Interval MDP for Robust Control Synthesis.
CoRR
Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
2024 J jnl
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric.
CoRR
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2024 A* conf
Deep Bayesian Active Learning for Preference Modeling in Large Language Models.
NeurIPS
Luckeciano Carvalho Melo, Panagiotis Tigas, Alessandro Abate, Yarin Gal
2024 J jnl
Deep Bayesian Active Learning for Preference Modeling in Large Language Models.
CoRR
Luckeciano C. Melo, Panagiotis Tigas, Alessandro Abate, Yarin Gal
2024 J jnl
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications.
CoRR
Mathias Jackermeier, Alessandro Abate
2024 J jnl
Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers.
CoRR
Alexandros E. Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel J. Kochenderfer
2024 J jnl
Distributional Reachability for Markov Decision Processes: Theory and Applications.
IEEE Trans. Autom. Control.
Yulong Gao, Alessandro Abate, Lihua Xie, Karl Henrik Johansson
2024 J jnl
Distributionally Robust Aggregation of Electric Vehicle Flexibility.
CoRR
Karan Mukhi, Chengrui Qu, Pengcheng You, Alessandro Abate
2024 J jnl
Enhancing Data-Driven Stochastic Control via Bundled Interval MDP.
IEEE Control. Syst. Lett.
Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo
2024 — conf
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.
HSCC
Alec Edwards, Andrea Peruffo, Alessandro Abate
2024 J jnl
Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols.
CoRR
Charlie Griffin, Louis Thomson, Buck Shlegeris, Alessandro Abate
2024 J jnl
Learning Provably Robust Policies in Uncertain Parametric Environments.
CoRR
Yannik Schnitzer, Alessandro Abate, David Parker
2024 — conf
Learning robust policies for uncertain parametric Markov decision processes.
L4DC
Luke Rickard, Alessandro Abate, Kostas Margellos
2024 — conf
Learning-based rigid tube model predictive control.
L4DC
Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson
2024 — conf
Model Checking and Strategy Synthesis with Abstractions and Certificates.
Principles of Verification (2)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer
2024 J jnl
Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation.
CoRR
Patrick Benjamin, Alessandro Abate
2024 J jnl
On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks.
CoRR
Joar Skalse, Alessandro Abate
2024 J jnl
Partial Identifiability and Misspecification in Inverse Reinforcement Learning.
CoRR
Joar Skalse, Alessandro Abate
2024 J jnl
Partial Identifiability in Inverse Reinforcement Learning For Agents With Non-Exponential Discounting.
CoRR
Joar Skalse, Alessandro Abate
2024 J jnl
Probabilistic reach-avoid for Bayesian neural networks.
Artif. Intell.
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2024 A* conf
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification.
ICLR
Joar Max Viktor Skalse, Alessandro Abate
2024 J jnl
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification.
CoRR
Joar Skalse, Alessandro Abate
2024 A* conf
Reasoning about Causality in Games (Abstract Reprint).
AAAI
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
2024 J jnl
Risk-Averse Certification of Bayesian Neural Networks.
CoRR
Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska
2024 A* conf
STARC: A General Framework For Quantifying Differences Between Reward Functions.
ICLR
Joar Max Viktor Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate
2024 — conf
Safe Reach Set Computation via Neural Barrier Certificates.
ADHS
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024 J jnl
Safe Reach Set Computation via Neural Barrier Certificates.
CoRR
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024 A* conf
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.
AAAI
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
2024 A* conf
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions.
AAAI
Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate
2024 — conf
Stochastic Omega-Regular Verification and Control with Supermartingales.
CAV (3)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2024 J jnl
Stochastic Omega-Regular Verification and Control with Supermartingales.
CoRR
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2024 J jnl
Subversion Strategy Eval: Evaluating AI's stateless strategic capabilities against control protocols.
CoRR
Alex Mallen, Charlie Griffin, Alessandro Abate, Buck Shlegeris
2024 J jnl
Symbolic Task Inference in Deep Reinforcement Learning.
J. Artif. Intell. Res.
Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2024 J jnl
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.
CoRR
Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2024 J jnl
Temporal-Difference Variational Continual Learning.
CoRR
Luckeciano C. Melo, Alessandro Abate, Yarin Gal
2024 J jnl
The Perils of Optimizing Learned Reward Functions: Low Training Error Does Not Guarantee Low Regret.
CoRR
Lukas Fluri, Leon Lang, Alessandro Abate, Patrick Forré, David Krueger, Joar Skalse
2024 J jnl
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems.
CoRR
David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit A. Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette M. Wing, Joshua B. Tenenbaum
2024 A conf
Walking the Values in Bayesian Inverse Reinforcement Learning.
UAI
Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne
2024 J jnl
Walking the Values in Bayesian Inverse Reinforcement Learning.
CoRR
Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne
2023 J jnl
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis.
CoRR
Alec Edwards, Andrea Peruffo, Alessandro Abate
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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, Lisa Willemsen, Paolo Zuliani
2023 — conf
Abstracting Linear Stochastic Systems via Knowledge Filtering.
CDC
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
2023 — conf
An Exact Characterisation of Flexibility in Populations of Electric Vehicles.
CDC
Karan Mukhi, Alessandro Abate
2023 J jnl
An Exact Characterisation of Flexibility in Populations of Electric Vehicles.
CoRR
Karan Mukhi, Alessandro Abate
2023 J jnl
Certified reinforcement learning with logic guidance.
Artif. Intell.
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
2023 — conf
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.
FMAS@iFM
Thom Badings, Nils Jansen, Licio Romao, Alessandro Abate
2023 — conf
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric.
CDC
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2023 J jnl
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version].
CoRR
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2023 — conf
Data-driven memory-dependent abstractions of dynamical systems.
L4DC
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2023 — conf
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding.
CDC
Licio Romao, Ashish R. Hota, Alessandro Abate
2023 J jnl
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding.
CoRR
Licio Romao, Ashish R. Hota, Alessandro Abate
2023 J jnl
Formal Analysis and Verification of Max-Plus Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
2023 — conf
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
QEST
Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate
2023 J jnl
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.
CoRR
Alec Edwards, Andrea Peruffo, Alessandro Abate
2023 J jnl
Grid-Free Computation of Probabilistic Safety With Malliavin Calculus.
IEEE Trans. Autom. Control.
Francesco Cosentino, Harald Oberhauser, Alessandro Abate
2023 — conf
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design.
CDC
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023 J jnl
Inner approximations of stochastic programs for data-driven stochastic barrier function design.
CoRR
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023 J jnl
Introduction to the Special Issue on QEST 2021.
ACM Trans. Model. Comput. Simul.
Alessandro Abate, Andrea Marin
2023 A* conf
Invariance in Policy Optimisation and Partial Identifiability in Reward Learning.
ICML
Joar Max Viktor Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave
2023 J jnl
Learning Robust Policies for Uncertain Parametric Markov Decision Processes.
CoRR
Luke Rickard, Alessandro Abate, Kostas Margellos
2023 A conf
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models.
ECAI
Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
2023 A* conf
Low Emission Building Control with Zero-Shot Reinforcement Learning.
AAAI
Scott R. Jeen, Alessandro Abate, Jonathan M. Cullen
2023 A* conf
Misspecification in Inverse Reinforcement Learning.
AAAI
Joar Skalse, Alessandro Abate
2023 J jnl
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.
CoRR
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
2023 J jnl
Networked Communication for Decentralised Agents in Mean-Field Games.
CoRR
Patrick Benjamin, Alessandro Abate
2023 J jnl
Neural Abstractions.
CoRR
Alessandro Abate, Alec Edwards, Mirco Giacobbe
2023 B conf
On Imperfect Recall in Multi-Agent Influence Diagrams.
TARK
James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge
2023 — conf
On the Trade-Off Between Efficiency and Precision of Neural Abstraction.
QEST
Alec Edwards, Mirco Giacobbe, Alessandro Abate
2023 J jnl
On the Trade-off Between Efficiency and Precision of Neural Abstraction.
CoRR
Alec Edwards, Mirco Giacobbe, Alessandro Abate
2023 A conf
On the limitations of Markovian rewards to express multi-objective, risk-sensitive, and modal tasks.
UAI
Joar Skalse, Alessandro Abate
2023 — conf
Policy Evaluation in Distributional LQR.
L4DC
Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson
2023 J jnl
Policy Evaluation in Distributional LQR.
CoRR
Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson
2023 J jnl
Probabilistic Reach-Avoid for Bayesian Neural Networks.
CoRR
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2023 A* conf
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
AAAI
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2023 J jnl
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.
CoRR
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2023 B conf
Quantitative Verification with Neural Networks.
CONCUR
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2023 J jnl
Reasoning about Causality in Games.
CoRR
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
2023 J jnl
Reasoning about causality in games.
Artif. Intell.
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
2023 J jnl
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
J. Artif. Intell. Res.
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Robust Tube Model Predictive Control with Uncertainty Quantification for Discrete-Time Linear Systems.
CoRR
Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson
2023 J jnl
STARC: A General Framework For Quantifying Differences Between Reward Functions.
CoRR
Joar Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate
2023 J jnl
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.
CoRR
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
2023 J jnl
Synthesising Programs with Non-trivial Constants.
J. Autom. Reason.
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2023 A conf
k-Prize Weighted Voting Game.
AAMAS
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2023 J jnl
k-Prize Weighted Voting Games.
CoRR
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
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, Sadegh Soudjani, Lisa Willemsen
2022 J jnl
Automated verification and synthesis of stochastic hybrid systems: A survey.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2022 J jnl
Data-driven memory-dependent abstractions of dynamical systems.
CoRR
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
2022 J jnl
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
CoRR
Luke Rickard, Thom Badings, Licio Romao, Nils Jansen, Alessandro Abate
2022 J jnl
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework.
Inf. Comput.
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
2022 J jnl
Introduction to the Special Issue on Distributed Hybrid Systems.
Leibniz Trans. Embed. Syst.
Alessandro Abate, Uli Fahrenberg, Martin Fränzle
2022 J jnl
Invariance in Policy Optimisation and Partial Identifiability in Reward Learning.
CoRR
Joar Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave
2022 — conf
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.
QEST
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
2022 J jnl
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.
CoRR
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
2022 J jnl
Learning Task Automata for Reinforcement Learning using Hidden Markov Models.
CoRR
Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
2022 A* conf
Lexicographic Multi-Objective Reinforcement Learning.
IJCAI
Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate
2022 J jnl
Lexicographic Multi-Objective Reinforcement Learning.
CoRR
Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate
2022 J jnl
Misspecification in Inverse Reinforcement Learning.
CoRR
Joar Skalse, Alessandro Abate
2022 A* conf
Neural Abstractions.
NeurIPS
Alessandro Abate, Alec Edwards, Mirco Giacobbe
2022 J jnl
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives.
CoRR
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
2022 J jnl
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2022 J jnl
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems.
IEEE Trans. Autom. Control.
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2022 A* conf
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
AAAI
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2022 J jnl
Special issue: Formal verification of cyber-physical systems.
Inf. Comput.
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
2022 J jnl
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems.
IEEE Trans. Autom. Control.
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
2021 — ed.
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021
ADHS
Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate
2021 — conf
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems.
ADHS
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
2021 — conf
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.
OVERLAY@GandALF
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
Adaptive formal approximations of Markov chains.
Perform. Evaluation
Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska
2021 J jnl
Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency.
IEEE Trans. Control. Syst. Technol.
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2021 J jnl
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2021 — conf
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
TACAS (1)
Andrea Peruffo, Daniele Ahmed, Alessandro Abate
2021 J jnl
Certification of Iterative Predictions in Bayesian Neural Networks.
CoRR
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021 A conf
Certification of iterative predictions in Bayesian neural networks.
UAI
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021 A* conf
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
AAAI
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2021 A conf
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice.
AAMAS
Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge
2021 J jnl
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice.
CoRR
Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge
2021 — conf
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.
HSCC
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021 — conf
Formal Abstraction and Synthesis of Parametric Stochastic Processes.
FORMATS
Andrea Peruffo, Alessandro Abate
2021 J jnl
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.
IEEE Trans. Autom. Control.
Sofie Haesaert, Fei Chen, Alessandro Abate, Siep Weiland
2021 J jnl
Formal Synthesis of Lyapunov Neural Networks.
IEEE Control. Syst. Lett.
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
2021 J jnl
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.
IEEE Trans. Autom. Control.
Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska
2021 J jnl
Grid-Free Computation of Probabilistic Safety with Malliavin Calculus.
CoRR
Francesco Cosentino, Harald Oberhauser, Alessandro Abate
2021 — conf
Learning Probabilistic Termination Proofs.
CAV (2)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2021 J jnl
Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic.
IEEE Robotics Autom. Lett.
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
2021 J jnl
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic.
CoRR
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
2021 A conf
Multi-Agent Reinforcement Learning with Temporal Logic Specifications.
AAMAS
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
2021 J jnl
Multi-Agent Reinforcement Learning with Temporal Logic Specifications.
CoRR
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
2021 — conf
PyCID: A Python Library for Causal Influence Diagrams.
SciPy
James Fox, Tom Everitt, Ryan Carey, Eric D. Langlois, Alessandro Abate, Michael J. Wooldridge
2021 — conf
QUILT: quantify, infer and label the thermal efficiency of heating and cooling residential homes.
BuildSys
Joe Brown, Alessandro Abate, Alex Rogers
2021 — ed.
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings
QEST
Alessandro Abate, Andrea Marin
2021 J jnl
Rational verification: game-theoretic verification of multi-agent systems.
Appl. Intell.
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
2021 J jnl
Resilient monitoring in self-adaptive systems through behavioral parameter estimation.
J. Syst. Archit.
Mehran Alidoost Nia, Mehdi Kargahi, Alessandro Abate
2021 B conf
SMT-Based Model Checking of Max-Plus Linear Systems.
CONCUR
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
2021 J jnl
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
CoRR
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2021 J jnl
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
J. Autom. Reason.
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2020 A* conf
A Randomized Algorithm to Reduce the Support of Discrete Measures.
NeurIPS
Francesco Cosentino, Harald Oberhauser, Alessandro Abate
2020 J jnl
A Randomized Algorithm to Reduce the Support of Discrete Measures.
CoRR
Francesco Cosentino, Harald Oberhauser, Alessandro Abate
2020 — conf
ABC(SMC)
CMSB
Gareth W. Molyneux, Alessandro Abate
2020 — conf
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
ARCH
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2020 J jnl
Acceleration of Descent-based Optimization Algorithms via Carathéodory's Theorem.
CoRR
Francesco Cosentino, Harald Oberhauser, Alessandro Abate
2020 J jnl
Automated Formal Synthesis of Lyapunov Neural Networks.
CoRR
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
2020 J jnl
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
CoRR
Andrea Peruffo, Daniele Ahmed, Alessandro Abate
2020 — conf
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.
TACAS (1)
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
2020 J jnl
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.
CoRR
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
2020 J jnl
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2020 J jnl
Bayesian Verification of Chemical Reaction Networks.
CoRR
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate
2020 A conf
Cautious Reinforcement Learning with Logical Constraints.
AAMAS
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2020 J jnl
Cautious Reinforcement Learning with Logical Constraints.
CoRR
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2020 — conf
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
FORMATS
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
2020 J jnl
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
CoRR
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
2020 — ed.
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings
CMSB
Alessandro Abate, Tatjana Petrov, Verena Wolf
2020 — conf
Deep Reinforcement Learning with Temporal Logics.
FORMATS
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
2020 J jnl
Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer.
CoRR
Thomas J. Ringstrom, Mohammadhosein Hasanbeig, Alessandro Abate
2020 — conf
SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes.
BuildSys
Joe Brown, Jonathan Chambers, Alessandro Abate, Alex Rogers
2020 — conf
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis.
QEST
Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts
2020 J jnl
SafePILCO: a software tool for safe and data-efficient policy synthesis.
CoRR
Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts
2020 — conf
Safety Guarantees for Iterative Predictions with Gaussian Processes.
CDC
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2020 J jnl
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2020 J jnl
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems.
CoRR
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSIoTWeek
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, Enea Zaffanella
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
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, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019 J jnl
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings.
CoRR
Khaza Anuarul Hoque, Nathalie Cauchi, Alessandro Abate
2019 — conf
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes.
QEST
Viraj Brian Wijesuriya, Alessandro Abate
2019 — conf
Bayesian Verification of Chemical Reaction Networks.
FM Workshops (2)
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate
2019 — conf
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.
FORMATS
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2019 J jnl
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.
CoRR
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2019 J jnl
Certified Reinforcement Learning with Logic Guidance.
CoRR
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2019 J jnl
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
CoRR
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2019 J jnl
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
CoRR
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019 — conf
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.
HSCC
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019 J jnl
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version).
CoRR
Yuriy Zacchia Lun, Alessandro Abate, Alessandro D'Innocenzo
2019 — conf
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems.
ECC
Yuriy Zacchia Lun, Alessandro Abate, Alessandro D'Innocenzo
2019 A conf
Logically-Constrained Neural Fitted Q-iteration.
AAMAS
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2019 J jnl
Modular Deep Reinforcement Learning with Temporal Logic Specifications.
CoRR
Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2019 — conf
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
CDC
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019 J jnl
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
CoRR
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019 A conf
Safe Policy Search Using Gaussian Process Models.
AAMAS
Kyriakos Polymenakos, Alessandro Abate, Stephen J. Roberts
2019 J jnl
Safety Guarantees for Planning Based on Iterative Gaussian Processes.
CoRR
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2019 — conf
Safety Guarantees for the Electricity Grid with Significant Renewables Generation.
QEST
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2019 — conf
StocHy - automated verification and synthesis of stochastic processes: poster abstract.
HSCC
Nathalie Cauchi, Alessandro Abate
2019 J jnl
StocHy: automated verification and synthesis of stochastic processes.
CoRR
Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate
2019 — conf
Towards Verifiable and Safe Model-Free Reinforcement Learning.
OVERLAY@AI*IA
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
2019 J jnl
Verifying Reachability Properties in Markov Chains via Incremental Induction.
CoRR
Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate
2019 — conf
\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes.
TACAS (2)
Nathalie Cauchi, Alessandro Abate
2018 — ed.
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018
ADHS
Alessandro Abate, Antoine Girard, Maurice Heemels
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@ADHS
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
2018 — conf
ARCH-COMP18 Category Report: Stochastic Modelling.
ARCH@ADHS
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
2018 J jnl
Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version).
CoRR
Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate
2018 — conf
Approximate Abstractions of Markov Chains with Interval Decision Processes.
ADHS
Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate
2018 J jnl
Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version).
CoRR
Nathalie Cauchi, Alessandro Abate
2018 — conf
Benchmarks for cyber-physical systems: A modular model library for building automation systems.
ADHS
Nathalie Cauchi, Alessandro Abate
2018 — conf
Benchmarks for stochastic models from building automation systems.
ARCH@ADHS
Nathalie Cauchi, Alessandro Abate
2018 — conf
Counterexample Guided Inductive Synthesis Modulo Theories.
CAV (1)
Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2018 J jnl
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees.
CoRR
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2018 — conf
Experimental Biological Protocols with Formal Semantics.
CMSB
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2018 — conf
Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident.
CDC
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2018 J jnl
Logically-Constrained Neural Fitted Q-Iteration.
CoRR
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2018 J jnl
Logically-Correct Reinforcement Learning.
CoRR
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2018 J jnl
Maintenance of Smart Buildings using Fault Trees.
CoRR
Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018 J jnl
Maintenance of Smart Buildings using Fault Trees.
ACM Trans. Sens. Networks
Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018 — conf
Modelling Smart Buildings Using Fault Maintenance Trees.
EPEW
Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga
2018 J jnl
Multiobjective Optimal Control With Safety as a Priority.
IEEE Trans. Control. Syst. Technol.
Kendra Lesser, Alessandro Abate
2018 J jnl
Symbolic Abstractions of Networked Control Systems.
IEEE Trans. Control. Netw. Syst.
Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate
2018 — conf
Temporal logic control of general Markov decision processes by approximate policy refinement.
ADHS
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
2018 — conf
Tropical Abstractions of Max-Plus Linear Systems.
FORMATS
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2018 J jnl
Tropical Abstractions of Max-Plus-Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2017 — conf
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSWeek
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
2017 — conf
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels.
QEST
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2017 — conf
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
QEST
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2017 J jnl
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
CoRR
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2017 — conf
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CAV (1)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Certified policy synthesis for general Markov decision processes: An application in building automation systems.
Perform. Evaluation
Sofie Haesaert, Nathalie Cauchi, Alessandro Abate
2017 J jnl
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations.
CoRR
Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland
2017 A* conf
DSSynth: an automated digital controller synthesis tool for physical plants.
ASE
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Data-driven and model-based verification via Bayesian identification and reachability analysis.
Autom.
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2017 J jnl
Dynamic Bayesian networks for formal verification of structured stochastic processes.
Acta Informatica
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
2017 — conf
Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.
BuildSys
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2017 J jnl
Experimental Biological Protocols with Formal Semantics.
CoRR
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2017 — ed.
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
FORMATS
Alessandro Abate, Gilles Geeraerts
2017 C conf
Formal verification of complex systems: model-based and data-driven methods.
MEMOCODE
Alessandro Abate
2017 — conf
Multi-objective optimal control with safety as a priority.
ICCPS
Kendra Lesser, Alessandro Abate
2017 — ed.
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]
NSV@CAV
Alessandro Abate, Sylvie Boldo
2017 B conf
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.
FoSSaCS
Gaoang Bian, Alessandro Abate
2017 J jnl
On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version).
CoRR
Gaoang Bian, Alessandro Abate
2017 — conf
Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems.
CDC
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto
2017 J jnl
Quantitative model-checking of controlled discrete-time Markov processes.
Inf. Comput.
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2017 — conf
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
HSCC
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
2017 J jnl
Safe Policy Search with Gaussian Process Models.
CoRR
Kyriakos Polymenakos, Alessandro Abate, Stephen J. Roberts
2017 — conf
Sound Numerical Computations in Abstract Acceleration.
NSV@CAV
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2017 — conf
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
HSCC
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2017 J jnl
Temporal logic control of general Markov decision processes by approximate policy refinement.
CoRR
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2017 J jnl
Towards scalable synthesis of stochastic control systems.
Discret. Event Dyn. Syst.
Majid Zamani, Ilya Tkachev, Alessandro Abate
2017 J jnl
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
SIAM J. Control. Optim.
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2016 B conf
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
ATVA
Alessandro Abate, Milan Ceska, Marta Kwiatkowska
2016 — conf
Data-Efficient Bayesian Verification of Parametric Markov Chains.
QEST
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2016 — conf
Efficient HVAC controls: A symbolic approach.
ECC
Ondrej Holub, Majid Zamani, Alessandro Abate
2016 — conf
Experiment design for formal verification via stochastic optimal control.
ECC
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2016 J jnl
Formal Verification of Stochastic Max-Plus-Linear Systems.
IEEE Trans. Autom. Control.
Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate
2016 — conf
Formal and Data Association Aware Robust Belief Space Planning.
STAIRS
Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate
2016 — ed.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
HSCC
Alessandro Abate, Georgios Fainekos
2016 A conf
Safety Verification of Continuous-Space Pure Jump Markov Processes.
TACAS
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
2016 J jnl
Safety Verification of Output Feedback Controllers for Nonlinear Systems.
CoRR
Kendra Lesser, Alessandro Abate
2016 — conf
Safety verification of output feedback controllers for nonlinear systems.
ECC
Kendra Lesser, Alessandro Abate
2016 J jnl
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2016 J jnl
Towards Scalable Synthesis of Stochastic Control Systems.
CoRR
Majid Zamani, Ilya Tkachev, Alessandro Abate
2016 J jnl
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems.
Discret. Event Dyn. Syst.
Dieky Adzkiya, Yining Zhang, Alessandro Abate
2016 — conf
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
QEST
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
2016 — conf
Verification of Networks of Smart Energy Systems over the Cloud.
NSV@CAV
Alessandro Abate
2016 J jnl
Verification of general Markov decision processes by approximate similarity relations and policy refinement.
CoRR
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2015 C conf
A mean field equilibrium for a model of interbank lending.
ACC
Maximilian Balandat, Ilya Tkachev, Alessandro Abate, Claire J. Tomlin
2015 — conf
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
CAV (1)
Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
2015 J jnl
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.
IEEE Trans. Control. Syst. Technol.
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2015 J jnl
Computational techniques for reachability analysis of Max-Plus-Linear systems.
Autom.
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
2015 — conf
Controller Synthesis for Probabilistic Safety Specifications using Observers.
ADHS
Kendra Lesser, Alessandro Abate
2015 — conf
Correct-by-design output feedback of LTI systems.
CDC
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
2015 J jnl
Data-driven and Model-based Verification: a Bayesian Identification Approach.
CoRR
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2015 — conf
Data-driven and model-based verification: A Bayesian identification approach.
CDC
Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
2015 C conf
Data-driven property verification of grey-box systems by Bayesian experiment design.
ACC
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2015 B conf
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
CONCUR
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
2015 J jnl
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
CoRR
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
2015 A conf
FAUST
TACAS
Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate
2015 — ed.
Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
HSB
Alessandro Abate, David Safránek
2015 — conf
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.
FORMATS
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
2015 J jnl
Observer-based correct-by-design controller synthesis.
CoRR
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
2015 J jnl
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions.
Log. Methods Comput. Sci.
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2015 J jnl
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Autom.
Majid Zamani, Alessandro Abate, Antoine Girard
2015 J jnl
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version).
CoRR
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2015 B conf
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.
SAS
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2014 J jnl
Approximately bisimilar symbolic models for randomly switched stochastic systems.
Syst. Control. Lett.
Majid Zamani, Alessandro Abate
2014 — conf
Backward Reachability of Autonomous Max-Plus-Linear Systems.
WODES
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
2014 — conf
Bisimilar symbolic models for stochastic control systems without state-space discretization.
HSCC
Majid Zamani, Ilya Tkachev, Alessandro Abate
2014 J jnl
Characterization and computation of infinite-horizon specifications over Markov processes.
Theor. Comput. Sci.
Ilya Tkachev, Alessandro Abate
2014 J jnl
FAUST
CoRR
Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate
2014 — conf
Finite Abstractions of Stochastic Max-Plus-Linear Systems.
QEST
Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2014 — conf
Finite abstractions of networked control systems.
CDC
Majid Zamani, Manuel Mazo Jr., Alessandro Abate
2014 — conf
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.
QEST
Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate
2014 A conf
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems.
TACAS
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
2014 J jnl
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441).
Dagstuhl Reports
Alessandro Abate, Martin Fränzle, Ian A. Hiskens, Martin Strelec
2014 — conf
On approximation metrics for linear temporal model-checking of stochastic systems.
HSCC
Ilya Tkachev, Alessandro Abate
2014 J jnl
On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem.
IEEE Trans. Autom. Control.
Lin Zhao, Wei Zhang, Jianghai Hu, Alessandro Abate, Claire J. Tomlin
2014 A conf
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance.
TACAS
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2014 — conf
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.
Horizons of the Mind
Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2014 J jnl
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes.
IEEE Trans. Autom. Control.
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2014 J jnl
Quantitative model-checking of controlled discrete-time Markov processes.
CoRR
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2014 J jnl
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.
CoRR
Sofie Haesaert, Robert Babuska, Alessandro Abate
2014 J jnl
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Trans. Autom. Control.
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2014 J jnl
Symbolic Models for Networked Control Systems.
CoRR
Majid Zamani, Manuel Mazo Jr., Alessandro Abate
2014 J jnl
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach.
CoRR
Majid Zamani, Alessandro Abate, Antoine Girard
2014 C conf
Symbolic models for randomly switched stochastic systems.
ACC
Majid Zamani, Alessandro Abate
2014 — conf
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach.
CMSB
Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate
2013 — conf
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem.
CDC
Ilya Tkachev, Alessandro Abate
2013 J jnl
A stochastic games framework for verification and control of discrete time stochastic hybrid systems.
Autom.
Jerry Ding, Maryam Kamgarpour, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin
2013 J jnl
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes.
SIAM J. Appl. Dyn. Syst.
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2013 J jnl
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.
CoRR
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2013 — conf
Aggregation of thermostatically controlled loads by formal abstractions.
ECC
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2013 — conf
Bisimilar finite abstractions of stochastic control systems.
CDC
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2013 J jnl
Finite Abstractions of Max-Plus-Linear Systems.
IEEE Trans. Autom. Control.
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
2013 C conf
Finite abstractions of nonautonomous Max-Plus-Linear systems.
ACC
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
2013 — conf
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems.
HSCC
Ilya Tkachev, Alessandro Abate
2013 C conf
Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications.
ACC
Jerry Ding, Alessandro Abate, Claire J. Tomlin
2013 — conf
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.
HSCC
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2013 — conf
Symbolic Control of Stochastic Switched Systems via Finite Abstractions.
QEST
Majid Zamani, Alessandro Abate
2013 J jnl
Symbolic control of stochastic systems via approximately bisimilar finite abstractions
CoRR
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2013 — conf
Symbolic models for stochastic control systems without stability assumptions.
ECC
Majid Zamani, Peyman Mohajerin Esfahani, Alessandro Abate, John Lygeros
2013 — conf
VeriSiMPL: Verification via biSimulations of MPL Models.
QEST
Dieky Adzkiya, Alessandro Abate
2012 J jnl
A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Alessandro Abate, Stéphane Vincent, Roel Dobbe, Alberto Silletti, Neal Master, Jeffrey D. Axelrod, Claire J. Tomlin
2012 C conf
Abstraction and verification of autonomous Max-Plus-Linear systems.
ACC
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
2012 J jnl
Characterization and computation of infinite horizon specifications over Markov processes
CoRR
Ilya Tkachev, Alessandro Abate
2012 B conf
Higher-Order Approximations for Verification of Stochastic Hybrid Systems.
ATVA
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2012 J jnl
Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis.
IEEE Trans. Autom. Control.
Wei Zhang, Jianghai Hu, Alessandro Abate
2012 — conf
Modeling and simulation of a microgrid as a Stochastic Hybrid System.
ISGT Europe
Martin Strelec, Karel Macek, Alessandro Abate
2012 J jnl
On efficient sensor scheduling for linear dynamical systems.
Autom.
Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin
2012 J jnl
On infinite horizon switched LQR problems with state and control constraints.
Syst. Control. Lett.
Maximilian Balandat, Wei Zhang, Alessandro Abate
2012 — conf
Probabilistic invariance of mixed deterministic-stochastic dynamical systems.
HSCC
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2012 — conf
Regularization of bellman equations for infinite-horizon probabilistic properties.
HSCC
Ilya Tkachev, Alessandro Abate
2012 — conf
Robust PCTL model checking.
HSCC
Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen
2012 — conf
Stability and attractivity of absorbing sets for discrete-time Markov processes.
CDC
Ilya Tkachev, Alessandro Abate
2011 — conf
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.
QEST
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2011 J jnl
Approximate Abstractions of Stochastic Hybrid Systems.
IEEE Trans. Autom. Control.
Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2011 — conf
Approximate abstractions of stochastic systems: A randomized method.
CDC/ECC
Alessandro Abate, Maria Prandini
2011 — conf
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey.
Hybrid Autonomous Systems@ETAPS
Alessandro Abate
2011 — conf
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.
CDC/ECC
Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin
2011 — conf
On infinite-horizon probabilistic properties and stochastic bisimulation functions.
CDC/ECC
Ilya Tkachev, Alessandro Abate
2011 — conf
Quantitative automata model checking of autonomous stochastic hybrid systems.
HSCC
Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre
2011 J jnl
Versatile spectral methods for point set matching.
Pattern Recognit. Lett.
Alberto Silletti, Alessandro Abate, Jeffrey D. Axelrod, Claire J. Tomlin
2010 J jnl
Approximate Model Checking of Stochastic Hybrid Systems.
Eur. J. Control
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini
2010 C conf
On efficient sensor scheduling for linear dynamical systems.
ACC
Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin
2010 — conf
On sensor scheduling of linear dynamical systems with error bounds.
CDC
Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin
2010 — conf
On the infinite horizon constrained switched LQR problem.
CDC
Maximilian Balandat, Wei Zhang, Alessandro Abate
2010 — conf
On the optimal solutions of the infinite-horizon linear sensor scheduling problem.
CDC
Wei Zhang, Michael P. Vitus, Jianghai Hu, Alessandro Abate, Claire J. Tomlin
2010 — conf
Probabilistic bisimulations of switching and resetting diffusions.
CDC
Alessandro Abate
2010 J jnl
Probabilistic safety and optimal control for survival analysis of Bacillus subtilis.
Syst. Control. Lett.
Alessandro Abate, John Lygeros, Shankar S. Sastry
2009 — conf
A contractivity approach for probabilistic bisimulations of diffusion processes.
CDC
Alessandro Abate
2009 J jnl
Box invariance in biologically-inspired dynamical systems.
Autom.
Alessandro Abate, Ashish Tiwari, Shankar Sastry
2009 C conf
Efficient suboptimal solutions of switched LQR problems.
ACC
Wei Zhang, Alessandro Abate, Jianghai Hu
2009 J jnl
Exponential stabilization of discrete-time switched linear systems.
Autom.
Wei Zhang, Alessandro Abate, Jianghai Hu, Michael P. Vitus
2009 — conf
On piecewise quadratic control-Lyapunov functions for switched linear systems.
CDC
Wei Zhang, Alessandro Abate, Michael P. Vitus, Jianghai Hu
2009 J jnl
On the Value Functions of the Discrete-Time Switched LQR Problem.
IEEE Trans. Autom. Control.
Wei Zhang, Jianghai Hu, Alessandro Abate
2009 — conf
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.
HSCC
Wei Zhang, Alessandro Abate, Jianghai Hu
2009 — conf
The Emergent Structure of the Drosophila Wing - A Dynamic Model Generator.
VISAPP (1)
Alberto Silletti, Angelo Cenedese, Alessandro Abate
2008 — conf
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems.
CDC
Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
2008 — conf
Approximate abstractions of discrete-time controlled stochastic hybrid systems.
CDC
Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto
2008 — conf
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.
HSCC
Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
2008 — conf
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.
HSCC
Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry
2008 J jnl
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.
Autom.
Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
2007 — conf
Box invariance for biologically-inspired dynamical systems.
CDC
Alessandro Abate, Ashish Tiwari, Shankar Sastry
2007 — conf
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
HSCC
Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry
2007 C conf
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari
2007 — conf
Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations.
CDC
Aaron D. Ames, Alessandro Abate, Shankar Sastry
2007 — conf
The Concept of Deadlock and Livelock in Hybrid Control Systems.
HSCC
Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry
2006 C conf
A priori detection of Zeno behavior in communication networks modeled as hybrid systems.
ACC
Alessandro Abate, Aaron D. Ames, Shankar Sastry
2006 — conf
Box invariance of Hybrid and switched Systems.
ADHS
Alessandro Abate, Ashish Tiwari
2006 C conf
Error bounds based stochastic approximations and simulations of hybrid dynamical systems.
ACC
Alessandro Abate, Aaron D. Ames, Shankar Sastry
2006 — conf
Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems.
CDC
Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry
2006 — conf
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
HSCC
Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
2005 C conf
Stochastic approximations of hybrid systems.
ACC
Alessandro Abate, Aaron D. Ames, S. Shankar Sastry
2005 — conf
Sufficient Conditions for the Existence of Zeno Behavior.
CDC/ECC
Aaron D. Ames, Alessandro Abate, Shankar Sastry
2004 — conf
Optimal control for a class of stochastic hybrid systems.
CDC
Ling Shi, Alessandro Abate, Shankar Sastry
2004 — conf
Robust model predictive control through adjustable variables: an application to path planning.
CDC
Alessandro Abate, Laurent El Ghaoui