Abstract: Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. Despite its attractiveness and major research progress ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results