Cited By
View all- Meng YLiu J(2024)Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay SpecificationsIEEE Transactions on Automatic Control10.1109/TAC.2024.336886769:8(5470-5477)Online publication date: Aug-2024
- Delimpaltadakis GLaurenti LMazo M(2024)Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered ControlIEEE Transactions on Automatic Control10.1109/TAC.2023.333374869:7(4491-4505)Online publication date: Jul-2024
- Wicker MLaurenti LPatane APaoletti NAbate AKwiatkowska M(2024)Probabilistic Reach-Avoid for Bayesian Neural NetworksArtificial Intelligence10.1016/j.artint.2024.104132(104132)Online publication date: Apr-2024
- Show More Cited By