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.).
Olderog, E.-R., editor.; Steffen, Bernhard, editor; Yi, Wang, editor.; Jonsson, Bengt, 1957- honouree.
2021
QA76.9.F67
Available Online

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
DOI https://doi.org/10.1007/978-3-030-91384-7
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.
Series Lecture notes in computer science ; 13030.
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
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export