Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings /: 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings. ([2019])

• Record Type: Book
• Further Information: Note: Emmanuel Filiot, Raphaël Jungers, Igor Potapov (eds.).
• Editors: Filiot, Emmanuel; Jungers, Raphaël; Potapov, Igor
• Other Names: RP (Workshop), 13th
• Contents: Bidding Games on Markov Decision Processes.- Primitivity and synchronizing automata: a functional analytic approach.- Reaching Out Towards Fully Verified Autonomous Systems.- On the m-eternal Domination Number of Cactus Graphs.- On Relevant Equilibria in Reachability Games.- Partial Solvers for Generalized Parity Games.- Reachability in Augmented Interval Markov Chains.- On Solving Word Equations Using SAT.- Parameterised Verification of Publish/Subscribe Networks with Exception Handling.- Cellular automata for the self-stabilisation of colourings and tilings.- On the termination problem for counter machines with incrementing errors.- Reachability Problems on Partially Lossy Queue Automata.- On the computation of the minimal coverability set of Petri nets.- Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds.- Coverability is undecidable in one-dimensional pushdown vector addition systems with resets.- Synthesis of structurally restricted b-bounded Petri nets: complexity results.- Reachability of Five Gossip Protocols.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xx, 233 pages), illustrations (some color)
• Subjects: 005.14; Computer systems -- Verification -- Congresses; Decidability (Mathematical logic) -- Congresses; Computer science -- Mathematics -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030308063; 3030308065
• Related ISBNs: 9783030308056
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 20, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.