Sciweavers

ATAL
2010
Springer
14 years 1 months ago
Multi robotic exploration with communication requirement to a fixed base station
d Abstract) Piyoosh Mukhija IIIT Hyderabad Rahul Sawhney IIIT Hyderabad K Madhava Krishna IIIT Hyderabad We present an algorithm for multi robotic exploration of an unknown terrai...
Piyoosh Mukhija, Rahul Sawhney, K. Madhava Krishna
ATAL
2010
Springer
14 years 1 months ago
Strategic executions of choreographed timed normative multi-agent systems
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
ATAL
2010
Springer
14 years 1 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
ATAL
2010
Springer
14 years 1 months ago
Minimal retentive sets in tournaments
Felix Brandt, Markus Brill, Felix A. Fischer, Paul...
ATAL
2010
Springer
14 years 1 months ago
A coherence-driven action selection in dynamic environments
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer
ATAL
2010
Springer
14 years 1 months ago
A systematic agent framework for situated autonomous systems
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
Frederic Py, Kanna Rajan, Conor McGann
ATAL
2010
Springer
14 years 1 months ago
Moving target D* Lite
Xiaoxun Sun, William Yeoh, Sven Koenig
ATAL
2010
Springer
14 years 1 months ago
Decision making with dynamically arriving information
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
Meir Kalech, Avi Pfeffer
ATAL
2010
Springer
14 years 1 months ago
Finding approximate competitive equilibria: efficient and fair course allocation
In the course allocation problem, a university administrator seeks to efficiently and fairly allocate schedules of over-demanded courses to students with heterogeneous preferences...
Abraham Othman, Tuomas Sandholm, Eric Budish