Correct-by-Construction Control for Stochastic and Uncertain Dynamical
Models via Formal Abstractions

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

16 November 2023

Thom S. Badings

Alessandro Abate

Papers citing "Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions"

Title
No papers