2024 search results - page 310 / 405 » A Formal Model of Multi-agent Computations |
171
Voted
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
148
click to vote
ESA
2003
Springer
15 years 11 months ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
157
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
193
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
191
click to vote
DDECS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...