Vor Ort
Merkzettel Warenkorb
  • Produktbild: Principles of Systems Design
  • Produktbild: Principles of Systems Design
Band 13660 - 12%

Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Aus der Reihe Lecture Notes in Computer Science
12% sparen

86,99 € UVP 98,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.12.2022

Herausgeber

Jean-François Raskin + weitere

Verlag

Springer

Seitenzahl

666

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1019 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-22336-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.12.2022

Herausgeber

Verlag

Springer

Seitenzahl

666

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1019 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-22336-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Principles of Systems Design
  • Produktbild: Principles of Systems Design

  • Hybrid, timed, cyber-physical and dynamical systems.- From Hybrid Automata to DAE-based modeling.- What's Decidable about Discrete Linear Dynamical Systems?.- Symbolic Analysis of Linear Hybrid Automata { 25 Years Later.- A Fault-Tolerant Architecture for Safe Driving Automation.- Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework.- On Specifications and Proofs of Timed Circuits.- Asynchronous Correspondences Between Hybrid Trajectory Semantics.- Generalizing Logical Execution Time.- Automata, logic and games.- Towards a Grand Uni cation of Buechi Complementation Constructions.- A Simple Rewrite System for the Normalization of Linear Temporal Logic.- Survey on Satisfiability Checking for the mu-Calculus through Tree Automata.-  Universal algorithms for parity games and nested xpoints.- Simulation relations and applications in formal methods.- Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.-Getting Saturated with Induction.- Voronkov Probabilistic and quantitative verification.- On Probabilistic Monitorability.- On the Foundations of Cycles in Bayesian Networks.- Satisfiability of quantitative probabilistic CTL: Rise to the challenge.- Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games.- Parameter Synthesis in Markov Models: A Gentle Survey.- Convex Lattice Equation Systems.- Variance Reduction for Estimating Event Probabilities of Chemical Reaction Networks.- Software systems theory.- From Interface Automata to Hypercontracts.- Consistency and Persistency in Program Verification: Challenges and Opportunities.- Automated Program Repair Using Formal Verification Techniques.- Embedded Domain Specific Verifiers.- Software Model Checking: 20 Years and Beyond.- Artificial intelligence and machine learning.- T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.- A framework for transforming specifications in reinforcement learning.- Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques.- Correct-by-Construction Runtime Enforcement in AI - A Survey.