Search Results - "ABATE, ALESSANDRO"

QUANTITATIVE VERIFICATION WITH NEURAL NETWORKS.

Authors: ABATE, ALESSANDRO EDWARDS, ALEC GIACOBBE, MIRCO et al.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p

Efficient Model Verification at Runtime through Adaptive Dynamic Approximation.

Authors: Alidoost Nia, Mehran Calinescu, Radu Kargahi, Mehdi et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; Mar2025, Vol. 20 Issue 1, p1-45, 45p

Partial identifiability and misspecification in inverse reinforcement learning.

Authors: Skalse, Joar Abate, Alessandro

Source: Artificial Intelligence. Jul2026, Vol. 356, pN.PAG-N.PAG. 1p.

Subjects: Reinforcement learning, Human behavior models, Quasi-metric spaces, Utility functions, Robust statistics, Mathematical analysis

Control design of discrete-time unicycle model using satisfiability modulo theory.

Authors: Adzkiya, Dieky Mufid, Muhammad Syifa'ul Saputri, Febrianti Silviana et al.

Source: Systems Science & Control Engineering; Dec2024, Vol. 12 Issue 1, p1-6, 6p

Automated formal synthesis of provably safe digital controllers for continuous plants.

Authors: Abate, Alessandro Bessa, Iury Cordeiro, Lucas et al.

Source: Acta Informatica; Apr2020, Vol. 57 Issue 1/2, p223-244, 22p

Symbolic Task Inference in Deep Reinforcement Learning.

Authors: Hasanbeig, Hosein Jeppu, Natasha Yogananda Abate, Alessandro et al.

Source: Journal of Artificial Intelligence Research; 2024, Vol. 80, p1099-1137, 39p

Six decades of change in a Mediterranean port fouling assemblage: winners and losers in the era of global change.

Authors: Abate, Alessandro Bavestrello, Giorgio Garaventa, Francesca et al.

Source: Estuarine Coastal & Shelf Science. Oct2026, Vol. 340, pN.PAG-N.PAG. 1p.

Synthesising Programs with Non-trivial Constants.

Authors: Abate, Alessandro Barbosa, Haniel Barrett, Clark et al.

Source: Journal of Automated Reasoning. Jun2023, Vol. 67 Issue 2, p1-25. 25p.

Approximate Abstractions of Stochastic Hybrid Systems.

Authors: Abate, Alessandro D'Innocenzo, Alessandro Di Benedetto, Maria D.

Source: IEEE Transactions on Automatic Control; November 2011, Vol. 56 Issue 11, p2688-2694, 7p

On the Value Functions of the Discrete-Time Switched LQR Problem.

Authors: Zhang, Wei Hu, Jianghai Abate, Alessandro

Source: IEEE Transactions on Automatic Control; November 2009, Vol. 54 Issue 11, p2669-2674, 6p

Dynamic Bayesian networks for formal verification of structured stochastic processes.

Authors: Esmaeil Zadeh Soudjani, Sadegh Abate, Alessandro Majumdar, Rupak

Source: Acta Informatica; Mar2017, Vol. 54 Issue 2, p217-242, 26p

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems.

Authors: Gao, Yulong Abate, Alessandro Jiang, Frank J. et al.

Source: IEEE Transactions on Automatic Control. Oct2022, Vol. 67 Issue 10, p5071-5086. 16p.

Subjects: Discrete-time systems, Uncertain systems, Logic, Linear systems, Adaptive control systems

Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models.

Authors: Edwards, Alec Peruffo, Andrea Abate, Alessandro

Source: Science of Computer Programming; Jan2026, Vol. 247, pN.PAG-N.PAG, 1p

Rational verification: game-theoretic verification of multi-agent systems.

Authors: Abate, Alessandro Gutierrez, Julian Hammond, Lewis et al.

Source: Applied Intelligence. Sep2021, Vol. 51 Issue 9, p6569-6584. 16p.

Subjects: Computer science, Multiagent systems, Artificial intelligence

Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.

Authors: Badings, Thom Romao, Licio Abate, Alessandro et al.

Source: Journal of Artificial Intelligence Research; 2023, Vol. 76, p341-391, 51p

QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS.

Authors: SADEGH ESMAEIL ZADEH SOUDJANI ABATE, ALESSANDRO

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-29, 29p

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.

Authors: Cattaruzza, Dario Abate, Alessandro Schrammel, Peter et al.

Source: Journal of Automated Reasoning. Feb2021, Vol. 65 Issue 2, p157-203. 47p.

Subjects: Dynamic models, Linear time invariant systems, Time perspective, Linear programming, Semantics

Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model.

Authors: Staňková, Kateřina Abate, Alessandro Sabelis, Maurice

Source: Journal of Mathematical Biology. Mar2013, Vol. 66 Issue 4/5, p767-794. 28p.

Design and analysis of a flow control scheme over wireless networks.

Authors: Abate, Alessandro Chen, Minghua Wang, Yue et al.

Source: International Journal of Robust & Nonlinear Control. Jan2013, Vol. 23 Issue 2, p208-228. 21p.

SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems.

Authors: Mufid, Muhammad Syifaaul Adzkiya, Dieky Abate, Alessandro

Source: IEEE Transactions on Automatic Control; Jun2022, Vol. 67 Issue 6, p2700-2714, 15p