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

Automated Technology for Verification and Analysis

Overview of attention for book
Cover of 'Automated Technology for Verification and Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 2 Dynamic Shielding for Reinforcement Learning in Black-Box Environments
  3. Altmetric Badge
    Chapter 5 SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification
  4. Altmetric Badge
    Chapter 6 Fence Synthesis Under the C11 Memory Model
  5. Altmetric Badge
    Chapter 7 Checking Scheduling-Induced Violations of Control Safety Properties
  6. Altmetric Badge
    Chapter 8 Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions
  7. Altmetric Badge
    Chapter 9 Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
  8. Altmetric Badge
    Chapter 10 Verification of SMT Systems with Quantifiers
  9. Altmetric Badge
    Chapter 11 Projected Model Counting: Beyond Independent Support
  10. Altmetric Badge
    Chapter 12 Minimization of Automata for Liveness Languages
  11. Altmetric Badge
    Chapter 13 Temporal Causality in Reactive Systems
  12. Altmetric Badge
    Chapter 14 PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems
  13. Altmetric Badge
    Chapter 15 Learning Deterministic One-Clock Timed Automata via Mutation Testing
  14. Altmetric Badge
    Chapter 16 Active Learning of One-Clock Timed Automata Using Constraint Solving
  15. Altmetric Badge
    Chapter 17 Learning and Characterizing Fully-Ordered Lattice Automata
  16. Altmetric Badge
    Chapter 18 Optimistic and Topological Value Iteration for Simple Stochastic Games
  17. Altmetric Badge
    Chapter 19 Alternating Good-for-MDPs Automata
  18. Altmetric Badge
    Chapter 20 PET – A Partial Exploration Tool for Probabilistic Verification
  19. Altmetric Badge
    Chapter 21 STOMPC: Stochastic Model-Predictive Control with  Uppaal Stratego
  20. Altmetric Badge
    Chapter 22 Synthesis of Parametric Hybrid Automata from Time Series
  21. Altmetric Badge
    Chapter 23 Optimal Repair for Omega-Regular Properties
  22. Altmetric Badge
    Chapter 24 Repairing Real-Time Requirements
  23. Altmetric Badge
    Chapter 25 An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
  24. Altmetric Badge
    Chapter 26 Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
  25. Altmetric Badge
    Chapter 27 POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Attention for Chapter 7: Checking Scheduling-Induced Violations of Control Safety Properties
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
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.
Chapter title
Checking Scheduling-Induced Violations of Control Safety Properties
Chapter number 7
Book title
Automated Technology for Verification and Analysis
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-19992-9_7
Book ISBNs
978-3-03-119991-2, 978-3-03-119992-9
Authors

Yeolekar, Anand, Metta, Ravindra, Hobbs, Clara, Chakraborty, Samarjit

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.