Stop the war!Остановите войну!
for scientists:
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
- 2023
[j53]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about causality in games. Artif. Intell. 320: 103919 (2023)- [j52]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) - [c149]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 - [i81]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) - [i80]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about Causality in Games. CoRR abs/2301.02324 (2023) - [i79]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) - [i78]Alessandro Abate, Alec Edwards, Mirco Giacobbe:
Neural Abstractions. CoRR abs/2301.11683 (2023) - [i77]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) - [i76]Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson:
Policy Evaluation in Distributional LQR. CoRR abs/2303.13657 (2023) - [i75]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) - [i74]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) - [i73]Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti:
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR abs/2304.04505 (2023) - [i72]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) - [i71]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) - 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) - [c148]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 - [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 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@SenSys 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@SenSys 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]