12 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Roderick Bloem, Ruediger Ehlers, Robert Koenighofer
A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantee…