LEADER 02928nam 2200625 450 001 996465861703316 005 20220514054721.0 010 $a3-540-74128-3 024 7 $a10.1007/978-3-540-74128-2 035 $a(CKB)1000000000490798 035 $a(SSID)ssj0000318966 035 $a(PQKBManifestationID)11265711 035 $a(PQKBTitleCode)TC0000318966 035 $a(PQKBWorkID)10336501 035 $a(PQKB)11420877 035 $a(DE-He213)978-3-540-74128-2 035 $a(MiAaPQ)EBC3063365 035 $a(MiAaPQ)EBC6711166 035 $a(Au-PeEL)EBL6711166 035 $a(OCoLC)184927916 035 $a(PPN)123164222 035 $a(EXLCZ)991000000000490798 100 $a20220514d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aModel checking and artificial intelligence $e4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers /$fStefan Edelkamp, Alessio Lomuscio (editors) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (IX, 185 p.) 225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v4428 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-74127-5 320 $aIncludes bibliographical references and index. 327 $aA 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. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v4428. 606 $aComputer systems$xVerification$vCongresses 606 $aComputer software$xVerification$vCongresses 606 $aArtificial intelligence$vCongresses 615 0$aComputer systems$xVerification 615 0$aComputer software$xVerification 615 0$aArtificial intelligence 676 $a006.3 702 $aEdelkamp$b Stefan 702 $aLomuscio$b Alessio 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465861703316 996 $aModel Checking and Artificial Intelligence$9772652 997 $aUNISA