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
- 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) - [c182]Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate:
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. AAAI 2024: 21010-21018 - [c181]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 - [c180]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about Causality in Games (Abstract Reprint). AAAI 2024: 22697 - [c179]Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer:
Bisimulation Learning. CAV (3) 2024: 161-183 - [c178]Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) 2024: 395-419 - [c177]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 - [c176]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 - [c175]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 - [c174]Joar Max Viktor Skalse, Alessandro Abate:
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. ICLR 2024 - [c173]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 - [c172]Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson:
Learning-based rigid tube model predictive control. L4DC 2024: 492-503 - [c171]Luke Rickard, Alessandro Abate, Kostas Margellos:
Learning robust policies for uncertain parametric Markov decision processes. L4DC 2024: 876-889 - [c170]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC 2024: 954-967 - [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] - [i111]Joar Skalse, Alessandro Abate:
On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks. CoRR abs/2401.14811 (2024) - [i110]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) - [i109]Joar Skalse, Alessandro Abate:
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. CoRR abs/2403.06854 (2024) - [i108]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) - [i107]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.:
Data-driven Interval MDP for Robust Control Synthesis. CoRR abs/2404.08344 (2024) - [i106]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) - [i105]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 Wing, Joshua B. Tenenbaum:
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR abs/2405.06624 (2024) - [i104]Karan Mukhi, Chengrui Qu, Pengcheng You, Alessandro Abate:
Distributionally Robust Aggregation of Electric Vehicle Flexibility. CoRR abs/2405.08232 (2024) - [i103]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) - [i102]Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer:
Bisimulation Learning. CoRR abs/2405.15723 (2024) - [i101]Alessandro Abate, Mirco Giacobbe, Diptarko Roy:
Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR abs/2405.17304 (2024) - [i100]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) - [i99]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) - [i98]Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne:
Walking the Values in Bayesian Inverse Reinforcement Learning. CoRR abs/2407.10971 (2024) - [i97]Yannik Schnitzer, Alessandro Abate, David Parker:
Learning Provably Robust Policies in Uncertain Parametric Environments. CoRR abs/2408.03093 (2024) - [i96]Patrick Benjamin, Alessandro Abate:
Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation. CoRR abs/2408.11607 (2024) - [i95]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) - [i94]Mathias Jackermeier, Alessandro Abate:
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications. CoRR abs/2410.04631 (2024) - [i93]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) - [i92]Luckeciano C. Melo, Alessandro Abate, Yarin Gal:
Temporal-Difference Variational Continual Learning. CoRR abs/2410.07812 (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]