LEADER 03875nam 22007215 450 001 9910512155003321 005 20230411134745.0 010 $a3-030-91384-8 024 7 $a10.1007/978-3-030-91384-7 035 $a(CKB)5100000000152605 035 $a(MiAaPQ)EBC6857504 035 $a(Au-PeEL)EBL6857504 035 $a(DE-He213)978-3-030-91384-7 035 $a(PPN)259384860 035 $a(EXLCZ)995100000000152605 100 $a20211121d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel Checking, Synthesis, and Learning $eEssays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /$fedited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (228 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13030 311 $a3-030-91383-X 320 $aIncludes bibliographical references and index. 327 $aModel Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms. 330 $aThis Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13030 606 $aComputer science 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aMicroprogramming 606 $aComputers, Special purpose 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aControl Structures and Microprogramming 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aMicroprogramming. 615 0$aComputers, Special purpose. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 702 $aYi$b Wang 702 $aSteffen$b Bernhard 702 $aOlderog$b E.-R. 702 $aJonsson$b Bengt$f1957- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910512155003321 996 $aModel checking, synthesis, and learning$92786785 997 $aUNINA