3 papers
cs.AI2024
World Models: The Safety Perspective
Zifan Zeng, Chongzhe Zhang, Feng Liu +4
With the proliferation of the Large Language Model (LLM), the concept of World Models (WM) has recently attracted a great deal of attention in the AI research community, especially…
cs.SE2023
Simulation-based Validation for Autonomous Driving Systems
Changwen Li, Joseph Sifakis, Qiang Wang +2
Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We n…
cs.FL2021
Verification of Component-based Systems with Recursive Architectures
Marius Bozga, Radu Iosif, Joseph Sifakis
We study a sound verification method for parametric component-based systems. The method uses a resource logic, a new formal specification language for distributed systems consistin…