Search
Now showing items 1-1 of 1
A tableau method for the realizability and synthesis of reactive safety specifications
(2022-12-23)
Reactive systems are systems that continuously interact with the environment. In general, as they are critical systems, a failure or malfunction can result in serious consequences, such as loss of human lives or large ...