Search Results - "ABATE, ALESSANDRO"

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

One-Year Follow-Up Cognitive Decline After Hip Fracture Surgery: The Prognostic Role of NSE and S100B Biomarkers in Elderly Patients, a Multicentric Study.

Authors: Coviello, Michele Barone, Delia Abate, Antonella et al.

Source: Journal of Functional Morphology & Kinesiology. Dec2025, Vol. 10 Issue 4, p380.

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

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

Partial identifiability and misspecification in inverse reinforcement learning.

Authors: Skalse, Joar Abate, Alessandro

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

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.

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

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

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.

VIRTUAL ANASTYLOSIS FOR THE PULPIT OF THE CHURCH OF SAN BARTOLOMEO IN PANTANO IN PISTOIA.

Authors: Attademo, Greta Corio, Aurora

Source: SCIRES-IT; 2024, Vol. 14 Issue 1, p13-26, 14p

A general framework for verification and control of dynamical models via certificate synthesis.

Authors: Edwards, Alec Peruffo, Andrea Abate, Alessandro

Source: Annual Reviews in Control; 2025, Vol. 60, pN.PAG-N.PAG, 1p

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

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

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

Probabilistic reach-avoid for Bayesian neural networks.

Authors: Wicker, Matthew Laurenti, Luca Patane, Andrea et al.

Source: Artificial Intelligence; Sep2024, Vol. 334, pN.PAG-N.PAG, 1p

Certified reinforcement learning with logic guidance.

Authors: Hasanbeig, Hosein Kroening, Daniel Abate, Alessandro

Source: Artificial Intelligence; Sep2023, Vol. 322, pN.PAG-N.PAG, 1p

A FRAMEWORK TO MEASURE THE ROBUSTNESS OF PROGRAMS IN THE UNPREDICTABLE ENVIRONMENT.

Authors: CASTIGLIONI, VALENTINA LORETI, MICHELE TINI, SIMONE

Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 3, p1-46, 46p

Reasoning about causality in games.

Authors: Hammond, Lewis Fox, James Everitt, Tom et al.

Source: Artificial Intelligence; Jul2023, Vol. 320, pN.PAG-N.PAG, 1p

Automated verification and synthesis of stochastic hybrid systems: A survey.

Authors: Lavaei, Abolfazl Soudjani, Sadegh Abate, Alessandro et al.

Source: Automatica; Dec2022, Vol. 146, pN.PAG-N.PAG, 1p