32 citations · 70 across the 23 of their papers we have counts for
1 paper · 2 filters
Alessandro Riccardi, Thom Badings, Luca Laurenti +2
The deployment of autonomous systems in safety-critical environments requires control policies that guarantee satisfaction of complex control specifications. These systems are comm…