Overview

Full Product Details

Author:   Stefan Kiefer ,  Jan Křetínský ,  Antonín Kučera
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   14660
ISBN:  

9783031562211

ISBN 10:   3031562216
Pages:   309
Publication Date:   20 March 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Fairness and Liveness under Weak Consistency.- Restricted Flow Games.- SynthLearn: a Tool for Guided Reactive Synthesis.- On Regular Expression Proof Complexity of Salomaa’s Axiom System F1.- Hidden Markov Models with Unobservable Transitions.- Coverability in Well-Formed Free-Choice Petri Nets.- Devillers On verifying concurrent programs under weak consistency models: Decidability and Complexity.- A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology through Formal Methods.- A Uniform Framework for Language Inclusion Problems.- On the Home-Space Problem for Petri Nets.- Leroux Newton’s Method – There and Back Again.- Template-Based Verification of Array-Manipulating Programs.- Memoryless Strategies in Stochastic Reachability Games.- Region Quadtrees Verified.- Computing pre* for General Context Free Languages.- 2-Pointer Logic.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions