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

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Tools and Algorithms for the Construction and Analysis of Systems
Springer Nature Switzerland

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 5 Happy Ending: An Empty Hexagon in Every Set of 30 Points
  3. Altmetric Badge
    Chapter 9 CESAR: Control Envelope Synthesis via Angelic Refinements
  4. Altmetric Badge
    Chapter 16 Explainable Online Monitoring of Metric First-Order Temporal Logic
  5. Altmetric Badge
    Chapter 17 IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
  6. Altmetric Badge
    Chapter 21 A State-of-the-Art Karp-Miller Algorithm Certified in Coq
Attention for Chapter 17: IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X

This page is provided by Altmetric.