1 citations · 1 across the 1 of their papers we have counts for
1 paper
Julien Calbert, Sébastien Mattenet, Antoine Girard +1
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alt…