Software engineers continually strive to develop tools and techniques to manage the
complexity that is inherent in software systems. In this article, we argue that intelligent agents …

Reactive systems are computing systems which are interactive, such as real-time systems,
operating systems, concurrent systems, control systems, etc. They are among the most …

Publisher Summary This chapter discusses temporal and modal logic. The chapter
describes a multiaxis classification of systems of temporal logic. The chapter describes the …

This paper is motivated by the need for a formal specification method for real-time systems.
In these systems quantitative temporal properties play a dominant role. We first characterize …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

We investigate extensions of temporal logic by connectives defined by finite automata on
infinite words. We consider three different logics, corresponding to three different types of …

The technology of intelligent agents and multi-agent systems is expected to alter radically
the way in which complex, distributed, open systems are conceptualised and implemented …

In this paper, we present Reo, which forms a paradigm for composition of software
components based on the notion of mobile channels. Reo is a channel-based exogenous …

In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …

In certain areas of artificial intelligence there is need to represent continuous change and to
make statements that are interpreted with respect to time intervals rather than time points. To …