Abstract Diagnosis for tccp using a Linear Temporal Logic
نویسندگان
چکیده
منابع مشابه
Abstract Diagnosis for tccp using a Linear Temporal Logic
Diagnosis for tccp using a Linear Temporal Logic⋆ Marco Comini, Laura Titolo, and Alicia Villanueva 1 DIMI, Università degli Studi di Udine, {marco.comini,laura.titolo}@uniud.it 2 DSIC, Universitat Politècnica de València [email protected] Abstract. Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based ...
متن کاملAbstract Satisfiability of Linear Temporal Logic
Satisfiability of Linear Temporal Logic Maŕıa del Mar Gallardo, Pedro Merino, Ernesto Pimentel Dpto. de Lenguajes y Ciencias de la Computacion University of Malaga, 29071 Malaga, Spain {gallardo,pedro,ernesto}@lcc.uma.es Abstract. Model Checking has become one of the most powerful methModel Checking has become one of the most powerful methods for automatic verification of software systems. But ...
متن کاملAssumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract)
Abs t rac t . Previous works on assumption/guarantee specifications typically reason about relevant properties at the semantic level or define a special-purpose logic. We feel it is beneficial to formulate such specifications in a more widely used formalism. Specifically, we adopt the lineartime temporal logic (LTL) of Manna and Pnueli. We find that, with past temporal operators, LTL admits a s...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولControlling Wild Bodies Using Linear Temporal Logic
There is substantial interest in controlling a group of bodies from specifications of tasks given in a high-level, human-like language. This paper proposes a methodology that creates low-level hybrid controllers that guarantee that a group of bodies execute a high-level specified task without dynamical system modeling, precise state estimation or state feedback. We do this by exploiting the wil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2014
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068414000349