Zobrazeno 1 - 10
of 277
pro vyhledávání: '"Sifakis, Joseph"'
Autor:
Zeng, Zifan, Zhang, Chongzhe, Liu, Feng, Sifakis, Joseph, Zhang, Qunli, Liu, Shiming, Wang, Peng
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 in the context of AI agents. It is arguably evolving into an essentia
Externí odkaz:
http://arxiv.org/abs/2411.07690
Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions according t
Externí odkaz:
http://arxiv.org/abs/2405.16914
Autor:
Bozga, Marius, Sifakis, Joseph
Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by the comple
Externí odkaz:
http://arxiv.org/abs/2405.11995
Autor:
Sifakis, Joseph
We discuss the adequacy of tests for intelligent systems and practical problems raised by their implementation. We propose the replacement test as the ability of a system to replace successfully another system performing a task in a given context. We
Externí odkaz:
http://arxiv.org/abs/2305.11472
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 need well-founded criteria showing that simulation does indeed cover a
Externí odkaz:
http://arxiv.org/abs/2301.03941
Autor:
Bozga, Marius, Sifakis, Joseph
The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeling of ADS by combining descriptions of their static environment in the
Externí odkaz:
http://arxiv.org/abs/2205.10037
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 consisting of a finite yet unbounded number of components. The logic allows the
Externí odkaz:
http://arxiv.org/abs/2112.08292
Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning-based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a framework that can achieve runtime safety assurance for machine-learning en
Externí odkaz:
http://arxiv.org/abs/2109.13446
Autor:
Bozga, Marius, Sifakis, Joseph
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and discusses
Externí odkaz:
http://arxiv.org/abs/2109.06478
Autor:
Liu, Hezhen, Huang, Chengqiang, Sun, Ke, Yin, Jiacheng, Wu, Xiaoyu, Wang, Jin, Zhang, Qunli, Zheng, Yang, Nigam, Vivek, Liu, Feng, Sifakis, Joseph
Publikováno v:
In The Journal of Systems & Software May 2024 211
