PDF

Description

The classical synthesis problem for reactive systems asks, given a proponent process A and an opponent process B, to refine A so that the closed-loop system A

Details

Files

Statistics

from
to
Export
Download Full History