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

Formal Modeling and Analysis of Timed Systems

Overview of attention for book
Cover of 'Formal Modeling and Analysis of Timed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Algebraic Model Checking for Discrete Linear Dynamical Systems
  3. Altmetric Badge
    Chapter 2 Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
  4. Altmetric Badge
    Chapter 3 Monitoring Timed Properties (Revisited)
  5. Altmetric Badge
    Chapter 4 Bounded Delay Timed Channel Coding
  6. Altmetric Badge
    Chapter 5 Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
  7. Altmetric Badge
    Chapter 6 Model Checking for Entanglement Swapping
  8. Altmetric Badge
    Chapter 7 An STL-Based Formulation of Resilience in Cyber-Physical Systems
  9. Altmetric Badge
    Chapter 8 MITL Verification Under Timing Uncertainty
  10. Altmetric Badge
    Chapter 9 Classification of Driving Behaviors Using STL Formulas: A Comparative Study
  11. Altmetric Badge
    Chapter 10 Timed Games with Bounded Window Parity Objectives
  12. Altmetric Badge
    Chapter 11 Non-blind Strategies in Timed Network Congestion Games
  13. Altmetric Badge
    Chapter 12 Efficient Convex Zone Merging in Parametric Timed Automata
  14. Altmetric Badge
    Chapter 13 Neural Network Repair with Reachability Analysis
  15. Altmetric Badge
    Chapter 14 On Neural Network Equivalence Checking Using SMT Solvers
  16. Altmetric Badge
    Chapter 15 Reachability Analysis of a General Class of Neural Ordinary Differential Equations
  17. Altmetric Badge
    Chapter 16 Robust Event-Driven Interactions in Cooperative Multi-agent Learning
  18. Altmetric Badge
    Chapter 17 Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty
Attention for Chapter 14: On Neural Network Equivalence Checking Using SMT Solvers
Altmetric Badge

Readers on

mendeley
5 Mendeley
Summary
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.
Chapter title
On Neural Network Equivalence Checking Using SMT Solvers
Chapter number 14
Book title
Formal Modeling and Analysis of Timed Systems
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-15839-1_14
Book ISBNs
978-3-03-115838-4, 978-3-03-115839-1
Authors

Eleftheriadis, Charis, Kekatos, Nikolaos, Katsaros, Panagiotis, Tripakis, Stavros

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 40%
Researcher 1 20%
Unknown 2 40%
Readers by discipline Count As %
Computer Science 2 40%
Engineering 1 20%
Unknown 2 40%

This page is provided by Altmetric.