Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers / / Stefan Edelkamp, Alessio Lomuscio (editors)

• Pubblicazione: Berlin ; ; Heidelberg : , : Springer, , [2007]; ©2007
• Edizione: 1st ed. 2007.
• Descrizione fisica: 1 online resource (IX, 185 p.)
• Disciplina: 006.3
• Soggetto topico: Computer systems - Verification; Computer software - Verification; Artificial intelligence
• Persona (resp. second.): EdelkampStefan; LomuscioAlessio
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking.
• Titolo autorizzato: Model Checking and Artificial Intelligence
• ISBN: 3-540-74128-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910768165903321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science. . -Lecture notes in artificial intelligence ; ; 4428.