Verimag News
Today
-
22 January 2026 -
14h00, Room 206 (2nd floor, badged access), by Joseph Sifakis
(Verimag)
Bringing AI to Autonomous Systems
Autonomous systems are distributed systems composed of agents, each pursuing its own goals, but which must coordinate to satisfy the overall goals of the system.
Main points covered:
1. We analyze the characteristics of autonomous systems, explaining that they underlie a multifaceted concept of intelligence that cannot be characterized by conversational behavioral tests such as the Turing test.
2. We propose a development method based on an agent reference architecture that characterizes autonomous behavior as the result of (…)
Today
-
22 January 2026 -
14h00, Room 206 (2nd floor, badged access), by Joseph Sifakis
(Verimag)
Bringing AI to Autonomous SystemsAutonomous systems are distributed systems composed of agents, each pursuing its own goals, but which must coordinate to satisfy the overall goals of the system. Main points covered: 1. We analyze the characteristics of autonomous systems, explaining that they underlie a multifaceted concept of intelligence that cannot be characterized by conversational behavioral tests such as the Turing test. 2. We propose a development method based on an agent reference architecture that characterizes autonomous behavior as the result of (…)
