Deep statistical model checking
DOI10.1007/978-3-030-50086-3_6OpenAlexW3035170447MaRDI QIDQ5041276FDOQ5041276
Authors: Timo P. Gros, Holger Hermanns, J. Hoffmann, Michaela Klauck, Marcel Steinmetz 
Publication date: 13 October 2022
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-50086-3_6
Recommendations
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Artificial neural networks and deep learning (68T07) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)
Cites Work
- Verification, Model Checking, and Abstract Interpretation
- Title not available (Why is that?)
- Sequential Tests of Statistical Hypotheses
- A logic for reasoning about time and reliability
- Multilayer feedforward networks are universal approximators
- Exact and ordinary lumpability in finite Markov chains
- Some inequalities relating to the partial sum of binomial probabilities
- Stochastic model checking
- Title not available (Why is that?)
- A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play
- Safety verification of deep neural networks
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Formal verification of piece-wise linear feed-forward neural networks
- Explicit model checking of very large MDP using partitioning and secondary storage
Cited In (1)
Uses Software
This page was built for publication: Deep statistical model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5041276)
