↓ Skip to main content
What is this page? Embed badge

Principles of Systems Design

Overview of attention for book
Cover of 'Principles of Systems Design'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 From Hybrid Automata to DAE-Based Modeling
  3. Altmetric Badge
    Chapter 2 What’s Decidable About Discrete Linear Dynamical Systems?
  4. Altmetric Badge
    Chapter 3 Symbolic Analysis of Linear Hybrid Automata – 25 Years Later
  5. Altmetric Badge
    Chapter 4 An Architecture for Safe Driving Automation
  6. Altmetric Badge
    Chapter 5 Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
  7. Altmetric Badge
    Chapter 6 On Specifications and Proofs of Timed Circuits
  8. Altmetric Badge
    Chapter 7 Asynchronous Correspondences Between Hybrid Trajectory Semantics
  9. Altmetric Badge
    Chapter 8 Generalizing Logical Execution Time
  10. Altmetric Badge
    Chapter 9 Towards a Grand Unification of Büchi Complementation Constructions
  11. Altmetric Badge
    Chapter 10 A Simple Rewrite System for the Normalization of Linear Temporal Logic
  12. Altmetric Badge
    Chapter 11 A Survey on Satisfiability Checking for the  $$\mu $$ μ -Calculus Through Tree Automata
  13. Altmetric Badge
    Chapter 12 Universal Algorithms for Parity Games and Nested Fixpoints
  14. Altmetric Badge
    Chapter 13 Simulation Relations and Applications in Formal Methods
  15. Altmetric Badge
    Chapter 14 Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
  16. Altmetric Badge
    Chapter 15 Getting Saturated with Induction
  17. Altmetric Badge
    Chapter 16 On Probabilistic Monitorability
  18. Altmetric Badge
    Chapter 17 On the Foundations of Cycles in Bayesian Networks
  19. Altmetric Badge
    Chapter 18 Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
  20. Altmetric Badge
    Chapter 19 Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games
  21. Altmetric Badge
    Chapter 20 Parameter Synthesis in Markov Models: A Gentle Survey
  22. Altmetric Badge
    Chapter 21 Convex Lattice Equation Systems
  23. Altmetric Badge
    Chapter 22 Variance Reduction in Stochastic Reaction Networks Using Control Variates
  24. Altmetric Badge
    Chapter 23 From Interface Automata to Hypercontracts
  25. Altmetric Badge
    Chapter 24 Consistency and Persistency in Program Verification: Challenges and Opportunities
  26. Altmetric Badge
    Chapter 25 Automated Program Repair Using Formal Verification Techniques
  27. Altmetric Badge
    Chapter 26 Embedded Domain Specific Verifiers
  28. Altmetric Badge
    Chapter 27 Software Model Checking: 20 Years and Beyond
  29. Altmetric Badge
    Chapter 28 T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification
  30. Altmetric Badge
    Chapter 29 A Framework for Transforming Specifications in Reinforcement Learning
  31. Altmetric Badge
    Chapter 30 Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
  32. Altmetric Badge
    Chapter 31 Correct-by-Construction Runtime Enforcement in AI – A Survey
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Principles of Systems Design
Published by
Springer Nature Switzerland, December 2022
DOI 10.1007/978-3-031-22337-2
ISBNs
978-3-03-122336-5, 978-3-03-122337-2
Editors

Raskin, Jean-François, Chatterjee, Krishnendu, Doyen, Laurent, Majumdar, Rupak

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.