02928nam 2200625 450 99646586170331620220514054721.03-540-74128-310.1007/978-3-540-74128-2(CKB)1000000000490798(SSID)ssj0000318966(PQKBManifestationID)11265711(PQKBTitleCode)TC0000318966(PQKBWorkID)10336501(PQKB)11420877(DE-He213)978-3-540-74128-2(MiAaPQ)EBC3063365(MiAaPQ)EBC6711166(Au-PeEL)EBL6711166(OCoLC)184927916(PPN)123164222(EXLCZ)99100000000049079820220514d2007 uy 0engurnn|008mamaatxtccrModel 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)1st ed. 2007.Berlin ;Heidelberg :Springer,[2007]©20071 online resource (IX, 185 p.) Lecture notes in computer science. Lecture notes in artificial intelligence ;4428Bibliographic Level Mode of Issuance: Monograph3-540-74127-5 Includes bibliographical references and index.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.Lecture notes in computer science.Lecture notes in artificial intelligence ;4428.Computer systemsVerificationCongressesComputer softwareVerificationCongressesArtificial intelligenceCongressesComputer systemsVerificationComputer softwareVerificationArtificial intelligence006.3Edelkamp StefanLomuscio AlessioMiAaPQMiAaPQMiAaPQBOOK996465861703316Model Checking and Artificial Intelligence772652UNISA