Cyber Physical System (CPS) has provided an outstanding foundation to build advanced
industrial systems and applications by integrating innovative functionalities through Internet …

While reinforcement learning produces very promising results for many applications, its main
disadvantage is the lack of safety guarantees, which prevents its use in safety-critical …

Vehicles are especially capable of exchanging pertinent information with nearby vehicles.
However, there are multiple challenges like secure data exchange, fast message …

Abstract We present SceneChecker SceneChecker, a tool for verifying scenarios involving
vehicles executing complex plans in large cluttered workspaces. SceneChecker …

A runtime assurance system (RTA) for a given plant enables the exercise of an untrusted or
experimental controller while assuring safety with a backup (or safety) controller. The …

Cyber-physical systems (CPS) span the communication, computation and control domains.
Creating a single, complete, and detailed model of a CPS is not only difficult, but, in terms of …

Probabilistic behavior is omnipresent in computer-controlled systems, in particular, so-called
safety-critical hybrid systems, due to various reasons, like uncertain environments or …

随机系统运行时验证中, 由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重
影响系统时间相关的行为, 因此, 复杂随机系统在运行时其状态是难以观测的 …

In this thesis, we discuss using formal verification techniques to ensure the safety of
autonomous systems. We present a particular type of verification problem called scenario …

AI and Machine Learning could enhance autonomous systems, provided the risk of safety
violations could be mitigated. Specific instances of runtime assurance (RTA) have been …