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

Quantitative Evaluation of Systems

Overview of attention for book
Cover of 'Quantitative Evaluation of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 End-User Probabilistic Programming
  3. Altmetric Badge
    Chapter 2 The Logical Path to Autonomous Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Model Checking Constrained Markov Reward Models with Uncertainties
  5. Altmetric Badge
    Chapter 4 A Modest Approach to Modelling and Checking Markov Automata
  6. Altmetric Badge
    Chapter 5 Finite Approximation of LMPs for Exact Verification of Reachability Properties
  7. Altmetric Badge
    Chapter 6 Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
  8. Altmetric Badge
    Chapter 7 Strategy Representation by Decision Trees with Linear Classifiers
  9. Altmetric Badge
    Chapter 8 Neural Network Precision Tuning
  10. Altmetric Badge
    Chapter 9 SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
  11. Altmetric Badge
    Chapter 10 Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input
  12. Altmetric Badge
    Chapter 11 State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
  13. Altmetric Badge
    Chapter 12 Expected Cost Analysis of Attack-Defense Trees
  14. Altmetric Badge
    Chapter 13 A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
  15. Altmetric Badge
    Chapter 14 Automated Game-Theoretic Verification of Security Systems
  16. Altmetric Badge
    Chapter 15 Bayesian Abstraction of Markov Population Models
  17. Altmetric Badge
    Chapter 16 UTOPIC: Under-Approximation Through Optimal Control
  18. Altmetric Badge
    Chapter 17 Reducing Spreading Processes on Networks to Markov Population Models
  19. Altmetric Badge
    Chapter 18 Doping Tests for Cyber-Physical Systems
  20. Altmetric Badge
    Chapter 19 Safety Guarantees for the Electricity Grid with Significant Renewables Generation
  21. Altmetric Badge
    Chapter 20 W ise M ove : A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving
  22. Altmetric Badge
    Chapter 21 Great-Nsolve : A Tool Integration for (Markov Regenerative) Stochastic Petri Nets
Attention for Chapter 7: Strategy Representation by Decision Trees with Linear Classifiers
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
6 Mendeley
Summary Dimensions citations
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
Strategy Representation by Decision Trees with Linear Classifiers
Chapter number 7
Book title
Quantitative Evaluation of Systems
Published by
Springer, Cham, September 2019
DOI 10.1007/978-3-030-30281-8_7
Book ISBNs
978-3-03-030280-1, 978-3-03-030281-8
Authors

Pranav Ashok, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph H. Lampert, Viktor Toman

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 33%
Student > Ph. D. Student 1 17%
Lecturer 1 17%
Student > Doctoral Student 1 17%
Unknown 1 17%
Readers by discipline Count As %
Computer Science 2 33%
Engineering 2 33%
Unknown 2 33%

This page is provided by Altmetric.