Conformant.Planning.via.Symbolic.Model.Checking.and.Heuristic.Search.Adobe

Symbolic Model Checking

✍ Kenneth L. McMillan (auth.) 📂 Library 📅 1993 🏛 Springer US 🌐 English

<p>Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. When the method of proof is carried out subs

Conformance Checking: Relating Processes

📁 Conformance Checking: Relating Processes and Models

✍ Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich 📂 Library 📅 2018 🏛 Springer International Publishing 🌐 English

<p>This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing an

Conformance Checking and Diagnosis in Pr

📁 Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Modeled Processes

✍ Jorge Munoz-Gama (auth.) 📂 Library 📅 2016 🏛 Springer International Publishing 🌐 English

<p><p>Process mining techniques can be used to discover, analyze and improve real processes, by extracting models from observed behavior. The aim of this book is conformance checking, one of the main areas of process mining. In conformance checking, existing process models are compared with actual o

Heuristic Search: Theory and Application

📁 Heuristic Search: Theory and Applications

✍ Stefan Edelkamp, Stefan Schroedl 📂 Library 📅 2011 🏛 Elsevier 🌐 English

Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems.

Heuristic Search: Theory and Application

📁 Heuristic Search: Theory and Applications

✍ Stefan Edelkamp, Stefan Schroedl 📂 Library 📅 2011 🏛 Morgan Kaufmann 🌐 English

Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems.

Model Checking

📁 Model Checking

✍ Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled 📂 Library 📅 1999 🏛 The MIT Press 🌐 English

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv