51 citations · 366 across the 55 of their papers we have counts for
1 paper · 2 filters
Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop +1
Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. We prese…