Formal treatment of collaborative multi-agent systems has been lagging behind the rapid
progress in sequential decision making by individual agents. Recent work in the area of …

Over the last 5 years, the AI community has shown considerable interest in decentralized
control of multiple decision makers or “agents” under uncertainty. This problem arises in …

Planetary exploration poses many challenges for a robot system: From weight and size
constraints to extraterrestrial environment conditions, which constrain the suitable sensors …

This paper gives an overview of our recent work on an approach to verifying multi-agent
programs. We automatically translate multi-agent systems programmed in the logic-based …

There has been substantial progress with formal models for sequential decision making by
individual agents using the Markov decision process (MDP). However, similar treatment of …

A planar thick film electrode for the potentiometric measurement of pH is introduced. The
screen printed active layer is based on ruthenium dioxide hydrate held in a polymer matrix …

Critical infrastructure networks are vital for a functioning society and their failure can have
widespread consequences. Decision-making for critical infrastructure resilience can suffer …

Robotic systems map unknown terrain and collect scientific relevant data of foreign planets.
Currently, pilots from Earth steer these rovers on Moon and Mars surfaces via teleoperation …

For readers from both academia and industry wishing to pursue their studies and/or careers
in planetary robotics, this book represents a one-stop tour of the history, evolution, key …

A fundamental feature of intelligent agents is their ability to deliberate over their goals.
Operating in an environment that may change in unpredictable ways, an agent needs to …