Abstract: We present Ulgen, a runtime assurance (RTA) framework for programming safe cyber–physical systems (CPSs). In Ulgen, a system is implemented as a collection of asynchronous processes ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results