Resultado da Busca
Há 14 horas · 【Li Dawei Talks with Turing Award Winner】2007 Turing Award Winner Joseph Sifakis: China not only has disruptive innovation, but also integrated innovation, a...
Há 1 dia · 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 to traffic rules whose application depends on local knowledge and context. This leads us to consider the autopilot as a dynamic system receiving ...
Há 5 dias · The authors thank Joseph Sifakis for valuable discussions and suggestions. This research was funded in part by an NSFC-ISF grant issued jointly by the National Natural Science Foundation of China (NSFC) and the Israel Science Foundation (ISF grant 3698/21).
Há 4 dias · Joseph Sifakis: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings. Lecture Notes in Computer Science 407, Springer 1990 , ISBN 3-540-52148-8 [contents]
Há 4 dias · Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Lecture Notes in Computer Science 2491, Springer 2002 , ISBN 3-540-44307-X [contents]
Há 6 dias · Jean-Pierre Queille, Joseph Sifakis: A Temporal Logic to Deal with Fairness in Transition Systems.
Há 3 dias · Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
