Browsing Tesis de Master by Author "Hermo Huguet, Montserrat"
Now showing items 1-1 of 1
-
A tableau method for the realizability and synthesis of reactive safety specifications
Alonso García, Ander (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 ...