default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessandro Abate
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j62]Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, Alessandro Abate:
Efficient Model Verification at Runtime through Adaptive Dynamic Approximation. ACM Trans. Auton. Adapt. Syst. 20(1): 3:1-3:45 (2025)- [c189]Joar Max Viktor Skalse, Alessandro Abate:
Partial Identifiability in Inverse Reinforcement Learning for Agents with Non-Exponential Discounting. AAAI 2025: 27636-27643 - [c188]Yulong Gao, Can Zhou, Alessandro Abate, Karl Henrik Johansson:
Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees. Real Time and Such 2025: 64-78 - [c187]Mathias Jackermeier, Alessandro Abate:
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL. ICLR 2025 - [c186]Yannik Schnitzer, Alessandro Abate, David Parker:
Certifiably Robust Policies for Uncertain Parametric Environments. TACAS (3) 2025: 63-83 - [i129]Mahdi Nazeri, Thom S. Badings, Sadegh Soudjani, Alessandro Abate:
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems. CoRR abs/2501.01191 (2025) - [i128]Satvik Golechha, Maheep Chaudhary, Joan Velja
, Alessandro Abate, Nandi Schoots:
Modular Training of Neural Networks aids Interpretability. CoRR abs/2502.02470 (2025) - [i127]Luke Rickard, Alessandro Abate, Kostas Margellos:
Data-Driven Neural Certificate Synthesis. CoRR abs/2502.05510 (2025) - [i126]Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge:
Multi-agent coordination via communication partitions. CoRR abs/2502.12042 (2025) - [i125]Patrick Benjamin, Alessandro Abate:
Networked Communication for Decentralised Cooperative Agents in Mean-Field Control. CoRR abs/2503.09400 (2025) - [i124]Luke Rickard, Alessandro Abate, Kostas Margellos:
Continuous-time Data-driven Barrier Certificate Synthesis. CoRR abs/2503.13392 (2025) - [i123]Karan Mukhi, Georg Loho, Alessandro Abate:
Exact Characterization of Aggregate Flexibility via Generalized Polymatroids. CoRR abs/2503.23458 (2025) - [i122]Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate:
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets. CoRR abs/2503.23912 (2025) - [i121]Karan Mukhi, Alessandro Abate:
Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids. CoRR abs/2504.00484 (2025) - [i120]Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Quantitative Supermartingale Certificates. CoRR abs/2504.05065 (2025) - [i119]Jacques Cloete, Nikolaus Vertovec, Alessandro Abate:
SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL. CoRR abs/2504.06386 (2025) - [i118]Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer:
Branching Bisimulation Learning. CoRR abs/2504.12246 (2025) - [i117]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 Segerie, Oscar Delaney, Alessandro Abate, Fazl Barez, Michael K. Cohen, Philip Torr, Ferenc Huszár, Anisoara Calinescu, Gabriel Davis Jones, Yoshua Bengio, Robert Trager:
In Which Areas of Technical AI Safety Could Geopolitical Rivals Cooperate? CoRR abs/2504.12914 (2025) - 2024
- [j61]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334: 104132 (2024) - [j60]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo:
Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. IEEE Control. Syst. Lett. 8: 2069-2074 (2024) - [j59]Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening:
Symbolic Task Inference in Deep Reinforcement Learning. J. Artif. Intell. Res. 80: 1099-1137 (2024) - [j58]Yulong Gao, Alessandro Abate, Lihua Xie, Karl Henrik Johansson:
Distributional Reachability for Markov Decision Processes: Theory and Applications. IEEE Trans. Autom. Control. 69(7): 4598-4613 (2024) - [c185]Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate:
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. AAAI 2024: 21010-21018 - [c184]Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate:
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI 2024: 21412-21419 - [c183]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about Causality in Games (Abstract Reprint). AAAI 2024: 22697 - [c182]Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer:
Model Checking and Strategy Synthesis with Abstractions and Certificates. Principles of Verification (2) 2024: 360-391 - [c181]Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer:
Bisimulation Learning. CAV (3) 2024: 161-183 - [c180]Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) 2024: 395-419 - [c179]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC 2024: 564-570 - [c178]Yulong Gao, Karl Henrik Johansson, Alessandro Abate:
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. HSCC 2024: 20:1-20:12 - [c177]Alec Edwards, Andrea Peruffo, Alessandro Abate:
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. HSCC 2024: 26:1-26:10 - [c176]Joar Max Viktor Skalse, Alessandro Abate:
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. ICLR 2024 - [c175]Joar Max Viktor Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate:
STARC: A General Framework For Quantifying Differences Between Reward Functions. ICLR 2024 - [c174]Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson:
Learning-based rigid tube model predictive control. L4DC 2024: 492-503 - [c173]Luke Rickard, Alessandro Abate, Kostas Margellos:
Learning robust policies for uncertain parametric Markov decision processes. L4DC 2024: 876-889 - [c172]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC 2024: 954-967 - [c171]Luckeciano Carvalho Melo, Panagiotis Tigas, Alessandro Abate, Yarin Gal:
Deep Bayesian Active Learning for Preference Modeling in Large Language Models. NeurIPS 2024 - [c170]Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne:
Walking the Values in Bayesian Inverse Reinforcement Learning. UAI 2024: 273-287 - [e9]Alessandro Abate, Mark Cannon, Kostas Margellos, Antonis Papachristodoulou:
6th Annual Learning for Dynamics & Control Conference, 15-17 July 2024, University of Oxford, Oxford, UK. Proceedings of Machine Learning Research 242, PMLR 2024 [contents] - [i116]Joar Skalse, Alessandro Abate:
On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks. CoRR abs/2401.14811 (2024) - [i115]Alexandros E. Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel J. Kochenderfer:
Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. CoRR abs/2401.15838 (2024) - [i114]Joar Skalse, Alessandro Abate:
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. CoRR abs/2403.06854 (2024) - [i113]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR abs/2404.01726 (2024) - [i112]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.:
Data-driven Interval MDP for Robust Control Synthesis. CoRR abs/2404.08344 (2024) - [i111]Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani:
Safe Reach Set Computation via Neural Barrier Certificates. CoRR abs/2404.18813 (2024) - [i110]David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit 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:
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR abs/2405.06624 (2024) - [i109]Karan Mukhi, Chengrui Qu, Pengcheng You, Alessandro Abate:
Distributionally Robust Aggregation of Electric Vehicle Flexibility. CoRR abs/2405.08232 (2024) - [i108]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. CoRR abs/2405.08353 (2024) - [i107]Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer:
Bisimulation Learning. CoRR abs/2405.15723 (2024) - [i106]Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR abs/2405.17304 (2024) - [i105]Luckeciano C. Melo, Panagiotis Tigas, Alessandro Abate, Yarin Gal:
Deep Bayesian Active Learning for Preference Modeling in Large Language Models. CoRR abs/2406.10023 (2024) - [i104]Lukas Fluri, Leon Lang, Alessandro Abate, Patrick Forré, David Krueger, Joar Skalse:
The Perils of Optimizing Learned Reward Functions: Low Training Error Does Not Guarantee Low Regret. CoRR abs/2406.15753 (2024) - [i103]Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne:
Walking the Values in Bayesian Inverse Reinforcement Learning. CoRR abs/2407.10971 (2024) - [i102]Yannik Schnitzer, Alessandro Abate, David Parker:
Learning Provably Robust Policies in Uncertain Parametric Environments. CoRR abs/2408.03093 (2024) - [i101]Patrick Benjamin, Alessandro Abate:
Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation. CoRR abs/2408.11607 (2024) - [i100]Charlie Griffin, Louis Thomson, Buck Shlegeris, Alessandro Abate:
Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols. CoRR abs/2409.07985 (2024) - [i99]Mathias Jackermeier, Alessandro Abate:
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications. CoRR abs/2410.04631 (2024) - [i98]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate:
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. CoRR abs/2410.06662 (2024) - [i97]Luckeciano C. Melo, Alessandro Abate, Yarin Gal:
Temporal-Difference Variational Continual Learning. CoRR abs/2410.07812 (2024) - [i96]Joar Skalse, Alessandro Abate:
Partial Identifiability and Misspecification in Inverse Reinforcement Learning. CoRR abs/2411.15951 (2024) - [i95]Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska:
Risk-Averse Certification of Bayesian Neural Networks. CoRR abs/2411.19729 (2024) - [i94]Joar Skalse, Alessandro Abate:
Partial Identifiability in Inverse Reinforcement Learning For Agents With Non-Exponential Discounting. CoRR abs/2412.11155 (2024) - [i93]Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian:
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. CoRR abs/2412.11343 (2024) - [i92]Alex Mallen, Charlie Griffin, Alessandro Abate, Buck Shlegeris:
Subversion Strategy Eval: Evaluating AI's stateless strategic capabilities against control protocols. CoRR abs/2412.12480 (2024) - 2023
- [j57]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about causality in games. Artif. Intell. 320: 103919 (2023) - [j56]Hosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Certified reinforcement learning with logic guidance. Artif. Intell. 322: 103949 (2023) - [j55]Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76: 341-391 (2023) - [j54]Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli:
Synthesising Programs with Non-trivial Constants. J. Autom. Reason. 67(2): 19 (2023) - [j53]Francesco Cosentino, Harald Oberhauser, Alessandro Abate:
Grid-Free Computation of Probabilistic Safety With Malliavin Calculus. IEEE Trans. Autom. Control. 68(10): 6369-6376 (2023) - [j52]Alessandro Abate, Andrea Marin:
Introduction to the Special Issue on QEST 2021. ACM Trans. Model. Comput. Simul. 33(4): 13:1-13:2 (2023) - [c169]Scott R. Jeen, Alessandro Abate, Jonathan M. Cullen:
Low Emission Building Control with Zero-Shot Reinforcement Learning. AAAI 2023: 14259-14267 - [c168]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI 2023: 14701-14710 - [c167]Joar Skalse, Alessandro Abate:
Misspecification in Inverse Reinforcement Learning. AAAI 2023: 15136-15143 - [c166]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:
ARCH-COMP23 Category Report: Stochastic Models. ARCH 2023: 126-150 - [c165]Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
k-Prize Weighted Voting Game. AAMAS 2023: 2049-2057 - [c164]Licio Romao, Ashish R. Hota, Alessandro Abate:
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CDC 2023: 2016-2021 - [c163]Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert:
Abstracting Linear Stochastic Systems via Knowledge Filtering. CDC 2023: 3049-3054 - [c162]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti:
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC 2023: 3073-3080 - [c161]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. CDC 2023: 6038-6043 - [c160]Karan Mukhi, Alessandro Abate:
An Exact Characterisation of Flexibility in Populations of Electric Vehicles. CDC 2023: 6582-6587 - [c159]Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy:
Quantitative Verification with Neural Networks. CONCUR 2023: 22:1-22:18 - [c158]Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge:
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. ECAI 2023: 3-10 - [c157]Joar Max Viktor Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave:
Invariance in Policy Optimisation and Partial Identifiability in Reward Learning. ICML 2023: 32033-32058 - [c156]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven memory-dependent abstractions of dynamical systems. L4DC 2023: 891-902 - [c155]Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson:
Policy Evaluation in Distributional LQR. L4DC 2023: 1245-1256 - [c154]Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST 2023: 10-29 - [c153]Alec Edwards, Mirco Giacobbe, Alessandro Abate:
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST 2023: 152-171 - [c152]Joar Skalse, Alessandro Abate:
On the limitations of Markovian rewards to express multi-objective, risk-sensitive, and modal tasks. UAI 2023: 1974-1984 - [c151]Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate:
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. FMAS@iFM 2023: 144-152 - [c150]James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge:
On Imperfect Recall in Multi-Agent Influence Diagrams. TARK 2023: 201-220 - [i91]Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR abs/2301.01526 (2023) - [i90]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about Causality in Games. CoRR abs/2301.02324 (2023) - [i89]Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy:
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR abs/2301.06136 (2023) - [i88]Alessandro Abate, Alec Edwards, Mirco Giacobbe:
Neural Abstractions. CoRR abs/2301.11683 (2023) - [i87]Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
k-Prize Weighted Voting Games. CoRR abs/2302.13888 (2023) - [i86]Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson:
Policy Evaluation in Distributional LQR. CoRR abs/2303.13657 (2023) - [i85]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. CoRR abs/2303.17618 (2023) - [i84]Licio Romao, Ashish R. Hota, Alessandro Abate:
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CoRR abs/2304.00644 (2023) - [i83]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti:
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR abs/2304.04505 (2023) - [i82]Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson:
Robust Tube Model Predictive Control with Uncertainty Quantification for Discrete-Time Linear Systems. CoRR abs/2304.05105 (2023) - [i81]Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert:
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. CoRR abs/2304.05770 (2023) - [i80]Patrick Benjamin, Alessandro Abate:
Networked Communication for Decentralised Agents in Mean-Field Games. CoRR abs/2306.02766 (2023) - [i79]Karan Mukhi, Alessandro Abate:
An Exact Characterisation of Flexibility in Populations of Electric Vehicles. CoRR abs/2306.16824 (2023) - [i78]Alec Edwards, Mirco Giacobbe, Alessandro Abate:
On the Trade-off Between Efficiency and Precision of Neural Abstraction. CoRR abs/2307.15546 (2023) - [i77]Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti:
Formal Analysis and Verification of Max-Plus Linear Systems. CoRR abs/2308.10587 (2023) - [i76]Alec Edwards, Andrea Peruffo, Alessandro Abate:
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. CoRR abs/2309.06090 (2023) - [i75]Joar Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate:
STARC: A General Framework For Quantifying Differences Between Reward Functions. CoRR abs/2309.15257 (2023) - [i74]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR abs/2310.01951 (2023) - [i73]Alec Edwards, Andrea Peruffo, Alessandro Abate:
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. CoRR abs/2311.09793 (2023) - [i72]Luke Rickard, Alessandro Abate, Kostas Margellos:
Learning Robust Policies for Uncertain Parametric Markov Decision Processes. CoRR abs/2312.06344 (2023) - [i71]Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate:
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR abs/2312.11314 (2023) - 2022
- [j51]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022) - [j50]Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. 289(Part): 104947 (2022) - [j49]Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa:
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289(Part): 104979 (2022) - [j48]Alessandro Abate, Uli Fahrenberg, Martin Fränzle:
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 00:1-00:3 (2022) - [j47]Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. IEEE Trans. Autom. Control. 67(6): 2700-2714 (2022) - [j46]Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson:
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. 67(10): 5071-5086 (2022) - [c149]Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI 2022: 9669-9678 - [c148]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:
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 2022: 113-141 - [c147]Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate:
Lexicographic Multi-Objective Reinforcement Learning. IJCAI 2022: 3430-3436 - [c146]Alessandro Abate, Alec Edwards, Mirco Giacobbe:
Neural Abstractions. NeurIPS 2022 - [c145]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. QEST 2022: 217-231 - [i70]Joar Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave:
Invariance in Policy Optimisation and Partial Identifiability in Reward Learning. CoRR abs/2203.07475 (2022) - [i69]Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge:
Learning Task Automata for Reinforcement Learning using Hidden Markov Models. CoRR abs/2208.11838 (2022) - [i68]Hosein Hasanbeig, Daniel Kroening, Alessandro Abate:
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. CoRR abs/2209.10341 (2022) - [i67]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR abs/2209.15320 (2022) - [i66]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR abs/2210.05989 (2022) - [i65]Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR abs/2212.00679 (2022) - [i64]Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers:
Data-driven memory-dependent abstractions of dynamical systems. CoRR abs/2212.01926 (2022) - [i63]Joar Skalse, Alessandro Abate:
Misspecification in Inverse Reinforcement Learning. CoRR abs/2212.03201 (2022) - [i62]Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate:
Lexicographic Multi-Objective Reinforcement Learning. CoRR abs/2212.13769 (2022) - 2021
- [j45]Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge:
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51(9): 6569-6584 (2021) - [j44]Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo:
Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. 5(3): 773-778 (2021) - [j43]Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. J. Autom. Reason. 65(2): 157-203 (2021) - [j42]Mehran Alidoost Nia, Mehdi Kargahi, Alessandro Abate:
Resilient monitoring in self-adaptive systems through behavioral parameter estimation. J. Syst. Archit. 118: 102177 (2021) - [j41]Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska:
Adaptive formal approximations of Markov chains. Perform. Evaluation 148: 102207 (2021) - [j40]Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan:
Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic. IEEE Robotics Autom. Lett. 6(4): 7973-7980 (2021) - [j39]Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska:
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021) - [j38]Sofie Haesaert, Fei Chen, Alessandro Abate, Siep Weiland:
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems. IEEE Trans. Autom. Control. 66(3): 1024-1039 (2021) - [j37]Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate:
Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency. IEEE Trans. Control. Syst. Technol. 29(4): 1420-1436 (2021) - [c144]Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening:
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI 2021: 7647-7656 - [c143]Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS 2021: 259-264 - [c142]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:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [c141]Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge:
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. AAMAS 2021: 574-582 - [c140]Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge:
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. AAMAS 2021: 583-592 - [c139]Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Learning Probabilistic Termination Proofs. CAV (2) 2021: 3-26 - [c138]Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti:
SMT-Based Model Checking of Max-Plus Linear Systems. CONCUR 2021: 22:1-22:20 - [c137]Andrea Peruffo, Alessandro Abate:
Formal Abstraction and Synthesis of Parametric Stochastic Processes. FORMATS 2021: 135-153 - [c136]Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo:
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF 2021: 73-75 - [c135]Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo:
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC 2021: 24:1-24:11 - [c134]James Fox, Tom Everitt, Ryan Carey, Eric D. Langlois, Alessandro Abate, Michael J. Wooldridge:
PyCID: A Python Library for Causal Influence Diagrams. SciPy 2021: 65-73 - [c133]Joe Brown, Alessandro Abate, Alex Rogers:
QUILT: quantify, infer and label the thermal efficiency of heating and cooling residential homes. BuildSys 2021: 51-60 - [c132]Andrea Peruffo, Daniele Ahmed, Alessandro Abate:
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. TACAS (1) 2021: 370-388 - [c131]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of iterative predictions in Bayesian neural networks. UAI 2021: 1713-1723 - [e8]Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate:
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. IFAC-PapersOnLine 54(5), Elsevier 2021 [contents] - [e7]Alessandro Abate, Andrea Marin:
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings. Lecture Notes in Computer Science 12846, Springer 2021, ISBN 978-3-030-85171-2 [contents] - [i61]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021) - [i60]Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge:
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. CoRR abs/2102.00582 (2021) - [i59]Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge:
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. CoRR abs/2102.05008 (2021) - [i58]Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan:
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic. CoRR abs/2102.12855 (2021) - [i57]Francesco Cosentino, Harald Oberhauser, Alessandro Abate:
Grid-Free Computation of Probabilistic Safety with Malliavin Calculus. CoRR abs/2104.14691 (2021) - [i56]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR abs/2105.10134 (2021) - [i55]Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR abs/2110.12662 (2021) - 2020
- [j36]Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57(1-2): 223-244 (2020) - [c130]Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella:
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH 2020: 1-15 - [c129]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:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - [c128]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Cautious Reinforcement Learning with Logical Constraints. AAMAS 2020: 483-491 - [c127]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC 2020: 3187-3193 - [c126]Gareth W. Molyneux, Alessandro Abate:
ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks. CMSB 2020: 255-279 - [c125]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Deep Reinforcement Learning with Temporal Logics. FORMATS 2020: 1-22 - [c124]Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020: 161-177 - [c123]Francesco Cosentino, Harald Oberhauser, Alessandro Abate:
A Randomized Algorithm to Reduce the Support of Discrete Measures. NeurIPS 2020 - [c122]Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts:
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis. QEST 2020: 18-26 - [c121]Joe Brown, Jonathan Chambers, Alessandro Abate, Alex Rogers:
SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes. BuildSys 2020: 21-30 - [c120]Daniele Ahmed, Andrea Peruffo, Alessandro Abate:
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. TACAS (1) 2020: 97-114 - [e6]Alessandro Abate, Tatjana Petrov, Verena Wolf:
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. Lecture Notes in Computer Science 12314, Springer 2020, ISBN 978-3-030-60326-7 [contents] - [i54]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Cautious Reinforcement Learning with Logical Constraints. CoRR abs/2002.12156 (2020) - [i53]Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo:
Automated Formal Synthesis of Lyapunov Neural Networks. CoRR abs/2003.08910 (2020) - [i52]Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate:
Bayesian Verification of Chemical Reaction Networks. CoRR abs/2004.11321 (2020) - [i51]Francesco Cosentino, Harald Oberhauser, Alessandro Abate:
A Randomized Algorithm to Reduce the Support of Discrete Measures. CoRR abs/2006.01757 (2020) - [i50]Francesco Cosentino, Harald Oberhauser, Alessandro Abate:
Acceleration of Descent-based Optimization Algorithms via Carathéodory's Theorem. CoRR abs/2006.01819 (2020) - [i49]Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. CoRR abs/2007.00505 (2020) - [i48]Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson:
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. CoRR abs/2007.02271 (2020) - [i47]Thomas J. Ringstrom, Mohammadhosein Hasanbeig, Alessandro Abate:
Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer. CoRR abs/2007.02527 (2020) - [i46]Andrea Peruffo, Daniele Ahmed, Alessandro Abate:
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. CoRR abs/2007.03251 (2020) - [i45]Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. CoRR abs/2007.04510 (2020) - [i44]Daniele Ahmed, Andrea Peruffo, Alessandro Abate:
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. CoRR abs/2007.10865 (2020) - [i43]Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts:
SafePILCO: a software tool for safe and data-efficient policy synthesis. CoRR abs/2008.03273 (2020)
2010 – 2019
- 2019
- [c119]Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Towards Verifiable and Safe Model-Free Reinforcement Learning. OVERLAY@AI*IA 2019: 1 - [c118]Kyriakos Polymenakos, Alessandro Abate, Stephen J. Roberts:
Safe Policy Search Using Gaussian Process Models. AAMAS 2019: 1565-1573 - [c117]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Constrained Neural Fitted Q-iteration. AAMAS 2019: 2012-2014 - [c116]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC 2019: 5338-5343 - [c115]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:
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [c114]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:
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 2019: 62-102 - [c113]Yuriy Zacchia Lun, Alessandro Abate, Alessandro D'Innocenzo:
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems. ECC 2019: 4094-4099 - [c112]Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate:
Bayesian Verification of Chemical Reaction Networks. FM Workshops (2) 2019: 461-479 - [c111]Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. FORMATS 2019: 142-159 - [c110]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251 - [c109]Nathalie Cauchi, Alessandro Abate:
StocHy - automated verification and synthesis of stochastic processes: poster abstract. HSCC 2019: 258-259 - [c108]Viraj Brian Wijesuriya, Alessandro Abate:
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. QEST 2019: 91-108 - [c107]Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate:
Safety Guarantees for the Electricity Grid with Significant Renewables Generation. QEST 2019: 332-349 - [c106]Nathalie Cauchi, Alessandro Abate:
\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes. TACAS (2) 2019: 247-264 - [i42]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR abs/1901.01576 (2019) - [i41]Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate:
StocHy: automated verification and synthesis of stochastic processes. CoRR abs/1901.10287 (2019) - [i40]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Certified Reinforcement Learning with Logic Guidance. CoRR abs/1902.00778 (2019) - [i39]Yuriy Zacchia Lun, Alessandro Abate, Alessandro D'Innocenzo:
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version). CoRR abs/1903.03091 (2019) - [i38]Khaza Anuarul Hoque, Nathalie Cauchi, Alessandro Abate:
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings. CoRR abs/1903.06123 (2019) - [i37]Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. CoRR abs/1907.03564 (2019) - [i36]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR abs/1909.05304 (2019) - [i35]Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate:
Verifying Reachability Properties in Markov Chains via Incremental Induction. CoRR abs/1909.08017 (2019) - [i34]Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Modular Deep Reinforcement Learning with Temporal Logic Specifications. CoRR abs/1909.11591 (2019) - [i33]Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening:
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. CoRR abs/1911.10244 (2019) - [i32]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR abs/1912.00071 (2019) - 2018
- [j35]Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate:
Symbolic Abstractions of Networked Control Systems. IEEE Trans. Control. Netw. Syst. 5(4): 1622-1634 (2018) - [j34]Kendra Lesser, Alessandro Abate:
Multiobjective Optimal Control With Safety as a Priority. IEEE Trans. Control. Syst. Technol. 26(3): 1015-1027 (2018) - [j33]Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate:
Maintenance of Smart Buildings using Fault Trees. ACM Trans. Sens. Networks 14(3-4): 28:1-28:25 (2018) - [c105]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella:
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS 2018: 1-13 - [c104]Nathalie Cauchi, Alessandro Abate:
Benchmarks for cyber-physical systems: A modular model library for building automation systems. ADHS 2018: 49-54 - [c103]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-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS 2018: 71-103 - [c102]Sofie Haesaert, Sadegh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. ADHS 2018: 73-78 - [c101]Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate:
Approximate Abstractions of Markov Chains with Interval Decision Processes. ADHS 2018: 91-96 - [c100]Nathalie Cauchi, Alessandro Abate:
Benchmarks for stochastic models from building automation systems. ARCH@ADHS 2018: 242-250 - [c99]Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Counterexample Guided Inductive Synthesis Modulo Theories. CAV (1) 2018: 270-288 - [c98]Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate:
Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. CDC 2018: 5904-5909 - [c97]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182 - [c96]Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga:
Modelling Smart Buildings Using Fault Maintenance Trees. EPEW 2018: 110-125 - [c95]Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Tropical Abstractions of Max-Plus Linear Systems. FORMATS 2018: 271-287 - [e5]Alessandro Abate, Antoine Girard, Maurice Heemels:
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. IFAC-PapersOnLine 51(16), Elsevier 2018 [contents] - [i31]Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga:
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR abs/1801.04263 (2018) - [i30]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Correct Reinforcement Learning. CoRR abs/1801.08099 (2018) - [i29]Nathalie Cauchi, Alessandro Abate:
Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version). CoRR abs/1803.06315 (2018) - [i28]Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate:
Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version). CoRR abs/1804.08554 (2018) - [i27]Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Tropical Abstractions of Max-Plus-Linear Systems. CoRR abs/1806.04604 (2018) - [i26]Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate:
Maintenance of Smart Buildings using Fault Trees. CoRR abs/1806.05174 (2018) - [i25]Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening:
Logically-Constrained Neural Fitted Q-Iteration. CoRR abs/1809.07823 (2018) - 2017
- [j32]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 54(2): 217-242 (2017) - [j31]Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Data-driven and model-based verification via Bayesian identification and reachability analysis. Autom. 79: 115-126 (2017) - [j30]Majid Zamani, Ilya Tkachev, Alessandro Abate:
Towards scalable synthesis of stochastic control systems. Discret. Event Dyn. Syst. 27(2): 341-369 (2017) - [j29]Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput. 253: 1-35 (2017) - [j28]Sofie Haesaert, Nathalie Cauchi, Alessandro Abate:
Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Evaluation 117: 75-103 (2017) - [j27]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM J. Control. Optim. 55(4): 2333-2367 (2017) - [c94]Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Sound Numerical Computations in Abstract Acceleration. NSV@CAV 2017: 38-60 - [c93]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CAV (1) 2017: 462-482 - [c92]Yuriy Zacchia Lun, Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto:
Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. CDC 2017: 6525-6530 - [c91]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe:
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek 2017: 124-133 - [c90]Gaoang Bian, Alessandro Abate:
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. FoSSaCS 2017: 321-337 - [c89]Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC 2017: 55-64 - [c88]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC 2017: 197-206 - [c87]Kendra Lesser, Alessandro Abate:
Multi-objective optimal control with safety as a priority. ICCPS 2017: 25-36 - [c86]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
DSSynth: an automated digital controller synthesis tool for physical plants. ASE 2017: 919-924 - [c85]Alessandro Abate:
Formal verification of complex systems: model-based and data-driven methods. MEMOCODE 2017: 91-93 - [c84]Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate:
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. QEST 2017: 72-87 - [c83]Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. QEST 2017: 259-274 - [c82]Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga:
Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. BuildSys 2017: 24:1-24:10 - [e4]Alessandro Abate, Sylvie Boldo:
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]. Lecture Notes in Computer Science 10381, Springer 2017, ISBN 978-3-319-63500-2 [contents] - [e3]Alessandro Abate, Gilles Geeraerts:
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10419, Springer 2017, ISBN 978-3-319-65764-6 [contents] - [i24]Gaoang Bian, Alessandro Abate:
On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR abs/1701.04547 (2017) - [i23]Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland:
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. CoRR abs/1704.01672 (2017) - [i22]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR abs/1705.00981 (2017) - [i21]Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR abs/1707.01322 (2017) - [i20]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CoRR abs/1710.08016 (2017) - [i19]Kyriakos Polymenakos, Alessandro Abate, Stephen J. Roberts:
Safe Policy Search with Gaussian Process Models. CoRR abs/1712.05556 (2017) - [i18]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR abs/1712.07622 (2017) - 2016
- [j26]Dieky Adzkiya, Yining Zhang, Alessandro Abate:
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. Discret. Event Dyn. Syst. 26(1): 109-145 (2016) - [j25]Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate:
Formal Verification of Stochastic Max-Plus-Linear Systems. IEEE Trans. Autom. Control. 61(10): 2861-2876 (2016) - [c81]Alessandro Abate, Milan Ceska, Marta Kwiatkowska:
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ATVA 2016: 13-31 - [c80]Alessandro Abate:
Verification of Networks of Smart Energy Systems over the Cloud. NSV@CAV 2016: 1-14 - [c79]Kendra Lesser, Alessandro Abate:
Safety verification of output feedback controllers for nonlinear systems. ECC 2016: 413-418 - [c78]Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Experiment design for formal verification via stochastic optimal control. ECC 2016: 427-432 - [c77]Ondrej Holub, Majid Zamani, Alessandro Abate:
Efficient HVAC controls: A symbolic approach. ECC 2016: 1159-1164 - [c76]Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Data-Efficient Bayesian Verification of Parametric Markov Chains. QEST 2016: 35-51 - [c75]Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof:
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. QEST 2016: 227-243 - [c74]Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate:
Formal and Data Association Aware Robust Belief Space Planning. STAIRS 2016: 87-98 - [c73]Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate:
Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS 2016: 147-163 - [e2]Alessandro Abate, Georgios Fainekos:
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. ACM 2016, ISBN 978-1-4503-3955-1 [contents] - [i17]Majid Zamani, Ilya Tkachev, Alessandro Abate:
Towards Scalable Synthesis of Stochastic Control Systems. CoRR abs/1602.01358 (2016) - [i16]Kendra Lesser, Alessandro Abate:
Safety Verification of Output Feedback Controllers for Nonlinear Systems. CoRR abs/1603.06627 (2016) - [i15]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR abs/1605.09557 (2016) - [i14]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR abs/1610.04761 (2016) - 2015
- [j24]Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Computational techniques for reachability analysis of Max-Plus-Linear systems. Autom. 53: 293-302 (2015) - [j23]Majid Zamani, Alessandro Abate, Antoine Girard:
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Autom. 55: 183-196 (2015) - [j22]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions. Log. Methods Comput. Sci. 11(3) (2015) - [j21]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. IEEE Trans. Control. Syst. Technol. 23(3): 975-990 (2015) - [c72]Kendra Lesser, Alessandro Abate:
Controller Synthesis for Probabilistic Safety Specifications using Observers. ADHS 2015: 329-334 - [c71]Maximilian Balandat, Ilya Tkachev, Alessandro Abate, Claire J. Tomlin:
A mean field equilibrium for a model of interbank lending. ACC 2015: 1752-1757 - [c70]Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Data-driven property verification of grey-box systems by Bayesian experiment design. ACC 2015: 1800-1805 - [c69]Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska:
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) 2015: 195-213 - [c68]Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof:
Correct-by-design output feedback of LTI systems. CDC 2015: 6159-6164 - [c67]Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof:
Data-driven and model-based verification: A Bayesian identification approach. CDC 2015: 6830-6835 - [c66]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CONCUR 2015: 169-183 - [c65]Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen:
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS 2015: 93-107 - [c64]Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. SAS 2015: 312-331 - [c63]Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate:
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes. TACAS 2015: 272-286 - [e1]Alessandro Abate, David Safránek:
Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9271, Springer 2015, ISBN 978-3-319-26915-3 [contents] - [i13]Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version). CoRR abs/1506.05607 (2015) - [i12]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CoRR abs/1507.00509 (2015) - [i11]Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Data-driven and Model-based Verification: a Bayesian Identification Approach. CoRR abs/1509.03347 (2015) - [i10]Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Observer-based correct-by-design controller synthesis. CoRR abs/1509.03427 (2015) - 2014
- [j20]Majid Zamani, Alessandro Abate:
Approximately bisimilar symbolic models for randomly switched stochastic systems. Syst. Control. Lett. 69: 38-46 (2014) - [j19]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes. IEEE Trans. Autom. Control. 59(2): 528-534 (2014) - [j18]Lin Zhao, Wei Zhang, Jianghai Hu, Alessandro Abate, Claire J. Tomlin:
On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem. IEEE Trans. Autom. Control. 59(10): 2825-2830 (2014) - [j17]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Trans. Autom. Control. 59(12): 3135-3150 (2014) - [j16]Ilya Tkachev, Alessandro Abate:
Characterization and computation of infinite-horizon specifications over Markov processes. Theor. Comput. Sci. 515: 1-18 (2014) - [c62]Majid Zamani, Alessandro Abate:
Symbolic models for randomly switched stochastic systems. ACC 2014: 2291-2296 - [c61]Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind 2014: 40-58 - [c60]Majid Zamani, Manuel Mazo Jr., Alessandro Abate:
Finite abstractions of networked control systems. CDC 2014: 95-100 - [c59]Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate:
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. CMSB 2014: 155-172 - [c58]Majid Zamani, Ilya Tkachev, Alessandro Abate:
Bisimilar symbolic models for stochastic control systems without state-space discretization. HSCC 2014: 41-50 - [c57]Ilya Tkachev, Alessandro Abate:
On approximation metrics for linear temporal model-checking of stochastic systems. HSCC 2014: 193-202 - [c56]Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate:
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST 2014: 57-73 - [c55]Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Finite Abstractions of Stochastic Max-Plus-Linear Systems. QEST 2014: 74-89 - [c54]Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. TACAS 2014: 248-262 - [c53]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. TACAS 2014: 547-561 - [c52]Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Backward Reachability of Autonomous Max-Plus-Linear Systems. WODES 2014: 117-122 - [i9]Majid Zamani, Manuel Mazo Jr., Alessandro Abate:
Symbolic Models for Networked Control Systems. CoRR abs/1401.6396 (2014) - [i8]Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate:
FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. CoRR abs/1403.3286 (2014) - [i7]Majid Zamani, Alessandro Abate, Antoine Girard:
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach. CoRR abs/1407.2730 (2014) - [i6]Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative model-checking of controlled discrete-time Markov processes. CoRR abs/1407.5449 (2014) - [i5]Sofie Haesaert, Robert Babuska, Alessandro Abate:
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes. CoRR abs/1409.0553 (2014) - [i4]Alessandro Abate, Martin Fränzle, Ian A. Hiskens, Martin Strelec:
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). Dagstuhl Reports 4(10): 69-97 (2014) - 2013
- [j15]Jerry Ding, Maryam Kamgarpour, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin:
A stochastic games framework for verification and control of discrete time stochastic hybrid systems. Autom. 49(9): 2665-2674 (2013) - [j14]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes. SIAM J. Appl. Dyn. Syst. 12(2): 921-956 (2013) - [j13]Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Finite Abstractions of Max-Plus-Linear Systems. IEEE Trans. Autom. Control. 58(12): 3039-3053 (2013) - [c51]Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Finite abstractions of nonautonomous Max-Plus-Linear systems. ACC 2013: 4387-4392 - [c50]Jerry Ding, Alessandro Abate, Claire J. Tomlin:
Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications. ACC 2013: 6231-6236 - [c49]Ilya Tkachev, Alessandro Abate:
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem. CDC 2013: 3211-3216 - [c48]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Bisimilar finite abstractions of stochastic control systems. CDC 2013: 3926-3931 - [c47]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation of thermostatically controlled loads by formal abstractions. ECC 2013: 4232-4237 - [c46]Majid Zamani, Peyman Mohajerin Esfahani, Alessandro Abate, John Lygeros:
Symbolic models for stochastic control systems without stability assumptions. ECC 2013: 4257-4262 - [c45]Ilya Tkachev, Alessandro Abate:
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. HSCC 2013: 283-292 - [c44]Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC 2013: 293-302 - [c43]Dieky Adzkiya, Alessandro Abate:
VeriSiMPL: Verification via biSimulations of MPL Models. QEST 2013: 274-277 - [c42]Majid Zamani, Alessandro Abate:
Symbolic Control of Stochastic Switched Systems via Finite Abstractions. QEST 2013: 305-321 - [i3]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. CoRR abs/1302.3868 (2013) - [i2]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. CoRR abs/1307.6716 (2013) - 2012
- [j12]Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin:
On efficient sensor scheduling for linear dynamical systems. Autom. 48(10): 2482-2493 (2012) - [j11]Maximilian Balandat, Wei Zhang, Alessandro Abate:
On infinite horizon switched LQR problems with state and control constraints. Syst. Control. Lett. 61(4): 464-471 (2012) - [j10]Wei Zhang, Jianghai Hu, Alessandro Abate:
Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis. IEEE Trans. Autom. Control. 57(7): 1815-1821 (2012) - [j9]Alessandro Abate, Stéphane Vincent, Roel Dobbe, Alberto Silletti, Neal Master, Jeffrey D. Axelrod, Claire J. Tomlin:
A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 9(6): 1607-1620 (2012) - [c41]Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Abstraction and verification of autonomous Max-Plus-Linear systems. ACC 2012: 721-726 - [c40]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Higher-Order Approximations for Verification of Stochastic Hybrid Systems. ATVA 2012: 416-434 - [c39]Ilya Tkachev, Alessandro Abate:
Stability and attractivity of absorbing sets for discrete-time Markov processes. CDC 2012: 7652-7657 - [c38]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Probabilistic invariance of mixed deterministic-stochastic dynamical systems. HSCC 2012: 207-216 - [c37]Ilya Tkachev, Alessandro Abate:
Regularization of bellman equations for infinite-horizon probabilistic properties. HSCC 2012: 227-236 - [c36]Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen:
Robust PCTL model checking. HSCC 2012: 275-286 - [c35]Martin Strelec, Karel Macek, Alessandro Abate:
Modeling and simulation of a microgrid as a Stochastic Hybrid System. ISGT Europe 2012: 1-9 - [i1]Ilya Tkachev, Alessandro Abate:
Characterization and computation of infinite horizon specifications over Markov processes. CoRR abs/1211.4346 (2012) - 2011
- [j8]Alberto Silletti, Alessandro Abate, Jeffrey D. Axelrod, Claire J. Tomlin:
Versatile spectral methods for point set matching. Pattern Recognit. Lett. 32(5): 731-739 (2011) - [j7]Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto:
Approximate Abstractions of Stochastic Hybrid Systems. IEEE Trans. Autom. Control. 56(11): 2688-2694 (2011) - [c34]Ilya Tkachev, Alessandro Abate:
On infinite-horizon probabilistic properties and stochastic bisimulation functions. CDC/ECC 2011: 526-531 - [c33]Alessandro Abate, Maria Prandini:
Approximate abstractions of stochastic systems: A randomized method. CDC/ECC 2011: 4861-4866 - [c32]Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin:
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. CDC/ECC 2011: 6122-6127 - [c31]Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre:
Quantitative automata model checking of autonomous stochastic hybrid systems. HSCC 2011: 83-92 - [c30]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. QEST 2011: 59-68 - [c29]Alessandro Abate:
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey. Hybrid Autonomous Systems@ETAPS 2011: 3-25 - 2010
- [j6]Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini:
Approximate Model Checking of Stochastic Hybrid Systems. Eur. J. Control 16(6): 624-641 (2010) - [j5]Alessandro Abate, John Lygeros, Shankar S. Sastry:
Probabilistic safety and optimal control for survival analysis of Bacillus subtilis. Syst. Control. Lett. 59(1): 79-85 (2010) - [c28]Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin:
On efficient sensor scheduling for linear dynamical systems. ACC 2010: 4833-4838 - [c27]Wei Zhang, Michael P. Vitus, Jianghai Hu, Alessandro Abate, Claire J. Tomlin:
On the optimal solutions of the infinite-horizon linear sensor scheduling problem. CDC 2010: 396-401 - [c26]Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin:
On sensor scheduling of linear dynamical systems with error bounds. CDC 2010: 1318-1323 - [c25]Maximilian Balandat, Wei Zhang, Alessandro Abate:
On the infinite horizon constrained switched LQR problem. CDC 2010: 2131-2136 - [c24]Alessandro Abate:
Probabilistic bisimulations of switching and resetting diffusions. CDC 2010: 5918-5923
2000 – 2009
- 2009
- [j4]Alessandro Abate, Ashish Tiwari, Shankar Sastry:
Box invariance in biologically-inspired dynamical systems. Autom. 45(7): 1601-1610 (2009) - [j3]Wei Zhang, Alessandro Abate, Jianghai Hu, Michael P. Vitus:
Exponential stabilization of discrete-time switched linear systems. Autom. 45(11): 2526-2536 (2009) - [j2]Wei Zhang, Jianghai Hu, Alessandro Abate:
On the Value Functions of the Discrete-Time Switched LQR Problem. IEEE Trans. Autom. Control. 54(11): 2669-2674 (2009) - [c23]Wei Zhang, Alessandro Abate, Jianghai Hu:
Efficient suboptimal solutions of switched LQR problems. ACC 2009: 1084-1091 - [c22]Wei Zhang, Alessandro Abate, Michael P. Vitus, Jianghai Hu:
On piecewise quadratic control-Lyapunov functions for switched linear systems. CDC 2009: 1088-1093 - [c21]Alessandro Abate:
A contractivity approach for probabilistic bisimulations of diffusion processes. CDC 2009: 2230-2235 - [c20]Wei Zhang, Alessandro Abate, Jianghai Hu:
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. HSCC 2009: 411-425 - [c19]Alberto Silletti, Angelo Cenedese, Alessandro Abate:
The Emergent Structure of the Drosophila Wing - A Dynamic Model Generator. VISAPP (1) 2009: 406-410 - 2008
- [j1]Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Autom. 44(11): 2724-2734 (2008) - [c18]Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto:
Approximate abstractions of discrete-time controlled stochastic hybrid systems. CDC 2008: 221-226 - [c17]Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. CDC 2008: 4018-4023 - [c16]Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry:
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. HSCC 2008: 1-15 - [c15]Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. HSCC 2008: 598-601 - 2007
- [c14]Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929 - [c13]Aaron D. Ames, Alessandro Abate, Shankar Sastry:
Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations. CDC 2007: 4033-4038 - [c12]Alessandro Abate, Ashish Tiwari, Shankar Sastry:
Box invariance for biologically-inspired dynamical systems. CDC 2007: 5162-5167 - [c11]Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry:
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17 - [c10]Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry:
The Concept of Deadlock and Livelock in Hybrid Control Systems. HSCC 2007: 628-632 - 2006
- [c9]Alessandro Abate, Ashish Tiwari:
Box invariance of Hybrid and switched Systems. ADHS 2006: 359-364 - [c8]Alessandro Abate, Aaron D. Ames, Shankar Sastry:
A priori detection of Zeno behavior in communication networks modeled as hybrid systems. ACC 2006: 1-6 - [c7]Alessandro Abate, Aaron D. Ames, Shankar Sastry:
Error bounds based stochastic approximations and simulations of hybrid dynamical systems. ACC 2006: 1-6 - [c6]Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry:
Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems. CDC 2006: 258-263 - [c5]Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63 - 2005
- [c4]Alessandro Abate, Aaron D. Ames, S. Shankar Sastry:
Stochastic approximations of hybrid systems. ACC 2005: 1557-1562 - [c3]Aaron D. Ames, Alessandro Abate, Shankar Sastry:
Sufficient Conditions for the Existence of Zeno Behavior. CDC/ECC 2005: 696-701 - 2004
- [c2]Ling Shi, Alessandro Abate, Shankar Sastry:
Optimal control for a class of stochastic hybrid systems. CDC 2004: 1842-1847 - [c1]Alessandro Abate, Laurent El Ghaoui:
Robust model predictive control through adjustable variables: an application to path planning. CDC 2004: 2485-2490
Coauthor Index
Marta Z. Kwiatkowska
aka: Marta Kwiatkowska
aka: Marta Kwiatkowska
Joar Skalse
aka: Joar Max Viktor Skalse
aka: Joar Max Viktor Skalse
Sadegh Esmaeil Zadeh Soudjani
aka: Sadegh Soudjani
aka: Sadegh Soudjani
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-24 02:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
