• Produktbild: Reachability Problems
  • Produktbild: Reachability Problems
Band 11674

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.09.2019

Abbildungen

XX, 233 p. 275 illus., 14 illus. in color.

Herausgeber

Emmanuel Filiot + weitere

Verlag

Springer

Seitenzahl

233

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-30805-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.09.2019

Abbildungen

XX, 233 p. 275 illus., 14 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

233

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-30805-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Reachability Problems
  • Produktbild: Reachability Problems
  • 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.- Synthesisof structurally restricted b-bounded Petri nets: complexity results.- Reachability of Five Gossip Protocols.