Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.).
2021
QA76.9.F67
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.).
ISBN
9783030913847 (electronic bk.)
3030913848 (electronic bk.)
9783030913830 (print)
303091383X
3030913848 (electronic bk.)
9783030913830 (print)
303091383X
Published
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (viii, 219 pages) : illustrations (some color)
Item Number
10.1007/978-3-030-91384-7 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
This 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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed December 9, 2021).
Added Author
Olderog, E.-R., editor.
Steffen, Bernhard, editor
Yi, Wang, editor.
Jonsson, Bengt, 1957- honouree.
Steffen, Bernhard, editor
Yi, Wang, editor.
Jonsson, Bengt, 1957- honouree.
Series
Lecture notes in computer science ; 13030.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Model checking, synthesis, and learning.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Model 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.
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.