This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker
originated from the reengineering, reimplementation and extension of SMV, the original …

Dialogue systems deliver a more natural mean of communication between humans and
machines when compared to traditional systems. Beyond input/output components that …

In this paper, we consider the problem of robot motion planning in order to satisfy formulas
expressible in temporal logics. Temporal logics naturally express traditional robot …

Given a robot model and a class of admissible environments, this paper provides a
framework for automatically and verifiably composing controllers that satisfy high level task …

Different planning techniques have been applied to the problem of automated composition
of web services. However, in realistic cases, this planning problem is far from trivial: the …

Contingent planning is the task of generating a conditional plan given uncertainty about the
initial state and action effects, but with the ability to observe some aspects of the current …

Web Service Composition as AI Planning – a Survey∗ Page 1 Web Service Composition as AI
Planning – a Survey∗ Joachim Peer March 22, 2005 Abstract This article gives an overview of …

Autonomous or semi-autonomous systems are deployed in environments where contact with
programmers or technicians is infrequent or undesirable. To operate reliably, such systems …

Safety-critical systems, by definition those systems whose failure can cause catastrophic
results for people, the environment, and the economy, are becoming increasingly complex …

The service-oriented paradigm promises a novel degree of interoperability between
business processes, and is leading to a major shift in way distributed applications are …