↓ Skip to main content

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 1 DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks
  3. Altmetric Badge
    Chapter 2 Formal Specification for Deep Neural Networks
  4. Altmetric Badge
    Chapter 3 Optimal Proofs for Linear Temporal Logic on Lasso Words
  5. Altmetric Badge
    Chapter 4 What’s to Come is Still Unsure
  6. Altmetric Badge
    Chapter 5 A Formally Verified Motion Planner for Autonomous Vehicles
  7. Altmetric Badge
    Chapter 6 Robustness Testing of Intermediate Verifiers
  8. Altmetric Badge
    Chapter 7 Simulation Algorithms for Symbolic Automata
  9. Altmetric Badge
    Chapter 8 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
  10. Altmetric Badge
    Chapter 9 Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
  11. Altmetric Badge
    Chapter 10 Synthesis in pMDPs: A Tale of 1001 Parameters
  12. Altmetric Badge
    Chapter 11 Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
  13. Altmetric Badge
    Chapter 12 Bisimilarity Distances for Approximate Differential Privacy
  14. Altmetric Badge
    Chapter 13 A Symbolic Algorithm for Lazy Synthesis of Eager Strategies
  15. Altmetric Badge
    Chapter 14 Modular Verification of Concurrent Programs via Sequential Model Checking
  16. Altmetric Badge
    Chapter 15 Quantifiers on Demand
  17. Altmetric Badge
    Chapter 16 Signal Convolution Logic
  18. Altmetric Badge
    Chapter 17 Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
  19. Altmetric Badge
    Chapter 18 Accelerated Model Checking of Parametric Markov Chains
  20. Altmetric Badge
    Chapter 19 Continuous-Time Markov Decisions Based on Partial Exploration
  21. Altmetric Badge
    Chapter 20 A Fragment of Linear Temporal Logic for Universal Very Weak Automata
  22. Altmetric Badge
    Chapter 21 Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
  23. Altmetric Badge
    Chapter 22 Round-Bounded Control of Parameterized Systems
  24. Altmetric Badge
    Chapter 23 PSense: Automatic Sensitivity Analysis for Probabilistic Programs
  25. Altmetric Badge
    Chapter 24 Information Leakage in Arbiter Protocols
  26. Altmetric Badge
    Chapter 25 Neural State Classification for Hybrid Systems
  27. Altmetric Badge
    Chapter 26 Bounded Synthesis of Reactive Programs
  28. Altmetric Badge
    Chapter 27 Maximum Realizability for Linear Temporal Logic Specifications
  29. Altmetric Badge
    Chapter 28 Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
  30. Altmetric Badge
    Chapter 29 Bounded Synthesis of Register Transducers
  31. Altmetric Badge
    Chapter 30 EthIR : A Framework for High-Level Analysis of Ethereum Bytecode
  32. Altmetric Badge
    Chapter 31 MGH yper : Checking Satisfiability of HyperLTL Formulas Beyond the $$\exists ^*\forall ^*$$ ∃ ∗ ∀ ∗ Fragment
  33. Altmetric Badge
    Chapter 32 Verifying Rust Programs with SMACK
  34. Altmetric Badge
    Chapter 33 $$\mathcal {S}$$ BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
  35. Altmetric Badge
    Chapter 34 Owl: A Library for $$\omega $$ -Words, Automata, and LTL
  36. Altmetric Badge
    Chapter 35 EVE : A Tool for Temporal Equilibrium Analysis
Attention for Chapter 25: Neural State Classification for Hybrid Systems
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age
  • Above-average Attention Score compared to outputs of the same age and source (58th percentile)

Mentioned by

twitter
6 X users

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
18 Mendeley
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
Neural State Classification for Hybrid Systems
Chapter number 25
Book title
Automated Technology for Verification and Analysis
Published in
arXiv, October 2018
DOI 10.1007/978-3-030-01090-4_25
Book ISBNs
978-3-03-001089-8, 978-3-03-001090-4
Authors

Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Phan, Dung, Paoletti, Nicola, Zhang, Timothy, Grosu, Radu, Smolka, Scott A., Stoller, Scott D.

X Demographics

X Demographics

The data shown below were collected from the profiles of 6 X users 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 18 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 18 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 33%
Researcher 3 17%
Student > Master 2 11%
Professor 1 6%
Unspecified 1 6%
Other 2 11%
Unknown 3 17%
Readers by discipline Count As %
Computer Science 6 33%
Engineering 2 11%
Agricultural and Biological Sciences 1 6%
Unspecified 1 6%
Physics and Astronomy 1 6%
Other 1 6%
Unknown 6 33%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 2. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 27 July 2018.
All research outputs
#15,185,041
of 24,099,692 outputs
Outputs from arXiv
#305,333
of 1,020,419 outputs
Outputs of similar age
#196,955
of 350,566 outputs
Outputs of similar age from arXiv
#9,080
of 26,044 outputs
Altmetric has tracked 24,099,692 research outputs across all sources so far. This one is in the 34th percentile – i.e., 34% of other outputs scored the same or lower than it.
So far Altmetric has tracked 1,020,419 research outputs from this source. They receive a mean Attention Score of 4.0. This one has gotten more attention than average, scoring higher than 66% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 350,566 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 40th percentile – i.e., 40% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 26,044 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 58% of its contemporaries.