Traditional temporal logics such as linear temporal logic and computation tree logic are
widely used to specify properties of reactive systems. Model checking is a well-established …

Abstract [Context and motivation] In the last years motion-based games have achieved an
increasing success. These games have great potential to support physiotherapeutic …

Abstract The concept of Semantic Web, introduced by Berners-Lee in 2001, emphasizes
importance of expressing semantics of data stored on the web. The introduced data format …

Recently, by defining suitable fuzzy temporal logics, temporal properties of dynamic systems
are specified during model checking process, yet a few numbers of fuzzy temporal logics …

This paper presents the functional specification language fuzzy temporal logic context free
(FTL-CFree), a real runtime language designed to enable industry to model and verify …

This paper is aimed at the engineering evaluating of 3 well-known temporal logic systems: of
the Linear Temporal Logic (LTL), of a Fuzzy Linear Temporal Logic (FLTL) and some …

Despite that many real-life contracts include time constraints, for instance explicitly
specifying deadlines by when to perform actions, or for how long certain behaviour is …

Model checking has been traditionally concerned on verifying a (critical) system against its
specification, which is generally expressed in temporal logic. Despite this verification …