Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Häftad, Engelska, 2021

Av Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog

949 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2021-11-22
Mått155 x 235 x 17 mm
Vikt362 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor219
FörlagSpringer Nature Switzerland AG
ISBN9783030913830

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Artificiell intelligens inom Data och it
Hårdvara inom Data och it

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.