Round-Bounded Control of Parameterized Systems.

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Browse the full ATVA paper archive.