Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 4428Verlag: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Beschreibung: Online-Ressource (IX, 185 p. Also available online, digital)ISBN:

9783540741282

Schlagwörter:

Genre/Form:

Konferenzschrift -- 2006 -- Riva del Garda

Andere physische Formen: 9783540741275 | Buchausg. u.d.T.: Model checking and artificial intelligence. Berlin : Springer, 2007. VI, 184 S.DDC-Klassifikation:

006.3

MSC: MSC: *68-06 | 68Q60 | 68T20 | 00B25LOC-Klassifikation:

Q334-342 TJ210.2-211.495

DOI: DOI: 10.1007/978-3-540-74128-2Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: 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.PPN: PPN: 1646888448Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Exemplare ( 0 )

Dieser Titel hat keine Exemplare