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
- Title:
- 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])
- Main Title:
- Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.454760
- Ingest File:
- 02_591.xml