Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reachability Problems
  • Produktbild: Reachability Problems
Band 15050

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science

63,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2024

Abbildungen

XXVI, 239 p. 31 illus., 15 illus. in color.

Herausgeber

Laura Kovács + weitere

Verlag

Springer

Seitenzahl

239

Maße (L/B/H)

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

Gewicht

411 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-72620-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2024

Abbildungen

XXVI, 239 p. 31 illus., 15 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

239

Maße (L/B/H)

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

Gewicht

411 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-72620-0

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

  • Invited Papers.-
     Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach.-The Satis ability and Validity Problems for Probabilistic CTL.-
    Computability and Reachability.-
     Computing Reachable Simulations on Transition Systems.- Computing All Minimal Ways to Reach a Context-Free Language.- On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems under Process Fairness.- 
    Automata and Complexity.-
     Rollercoasters with Plateaus.- Quantum Automata and Languages of Finite Index.- On Shortest Products for Nonnegative Matrix Mortality.- Hardness of Busy Beaver Value BB(15).- 
    Linear Systems and Recurrences.- 
    On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps.- Semi-Linear VASR for Over-Approximate Semi-Linear System Reachability.-Reachability in Linear Recurrence Automata.- 
    Games and Abstractions.-
     Robust Deterministic Abstractions for Supervising Discrete-time Continuous Systems.- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives.- Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution.