I agree that this site is using cookies. You can find further informations here.
X
Abate, Alessandro
489  results:
Search for persons X
?
1

Enhancing Data-Driven Stochastic Control via Bundled Interv..:

Coppola, Rudi ; Peruffo, Andrea ; Romao, Licio..
IEEE Control Systems Letters.  , 2024
Link: https://doi.org/10.1109/..
 
?
2

A Stability-Based Abstraction Framework for Reach-Avoid Con..:

, In: 2024 European Control Conference (ECC),
Badings, Thom ; Romao, Licio ; Abate, Alessandro. - p. 564-570 , 2024
Link: https://doi.org/10.23919..
 
?
3

Control design of discrete-time unicycle model using satisf..:

Adzkiya, Dieky ; Mufid, Muhammad Syifa'ul ; Saputri, Febrianti Silviana.
Systems Science & Control Engineering.  12 (2024)  1 - p. , 2024
Link: https://doi.org/10.1080/..
 
?
4

CTL Model Checking of MDPs over Distribution Spaces: Algori..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Gao, Yulong ; Johansson, Karl H. ; Abate, Alessandro - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
5

Fossil 2.0: Formal Certificate Synthesis for the Verificati..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Edwards, Alec ; Peruffo, Andrea ; Abate, Alessandro - p. 1-10 , 2024
Link: https://dl.acm.org/doi/1..
 
?
6

Probabilistic reach-avoid for Bayesian neural networks:

Wicker, Matthew ; Laurenti, Luca ; Patane, Andrea...
Artificial Intelligence.  334 (2024)  - p. 104132 , 2024
Link: https://doi.org/10.1016/..
 
?
7

Distributional Reachability for Markov Decision Processes: ..:

Gao, Yulong ; Abate, Alessandro ; Xie, Lihua.
IEEE Transactions on Automatic Control.  69 (2024)  7 - p. 4598-4613 , 2024
Link: https://doi.org/10.1109/..
 
?
8

Certified reinforcement learning with logic guidance:

Hasanbeig, Hosein ; Kroening, Daniel ; Abate, Alessandro
Artificial Intelligence.  322 (2023)  - p. 103949 , 2023
Link: https://doi.org/10.1016/..
 
?
9

Data-driven Abstractions via Adaptive Refinements and a Kan..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Banse, Adrien ; Romao, Licio ; Abate, Alessandro. - p. 6038-6043 , 2023
Link: https://doi.org/10.1109/..
 
?
10

An Exact Characterisation of Flexibility in Populations of ..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Mukhi, Karan ; Abate, Alessandro - p. 6582-6587 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Formal Controller Synthesis for Markov Jump Linear Systems ..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Rickard, Luke ; Badings, Thom ; Romao, Licio. - p. 10-29 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Inner Approximations of Stochastic Programs for Data-Driven..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Mathiesen, Frederik Baymler ; Romao, Licio ; Calvert, Simeon C... - p. 3073-3080 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Introduction to the Special Issue on QEST 2021:

Abate, Alessandro ; Marin, Andrea
ACM Transactions on Modeling and Computer Simulation.  33 (2023)  4 - p. 1-2 , 2023
Link: https://doi.org/10.1145/..
 
?
14

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
Journal of Automated Reasoning.  67 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
15

On the Trade-Off Between Efficiency and Precision of Neural..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Edwards, Alec ; Giacobbe, Mirco ; Abate, Alessandro - p. 152-171 , 2023
Link: https://doi.org/10.1007/..
 
1-15