Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning (English)
Free access
- New search for: Jin, Peng
- New search for: Tian, Jiaxu
- New search for: Zhi, Dapeng
- New search for: Wen, Xuejun
- New search for: Zhang, Min
- New search for: Shoham, Sharon
- Further information on Shoham, Sharon:
- https://orcid.org/https://orcid.org/0000-0002-7226-3526
- New search for: Vizel, Yakir
- Further information on Vizel, Yakir:
- https://orcid.org/https://orcid.org/0000-0002-5655-1667
- New search for: Jin, Peng
- New search for: Tian, Jiaxu
- New search for: Zhi, Dapeng
- New search for: Wen, Xuejun
- New search for: Zhang, Min
In:
Computer Aided Verification
: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
;
Chapter: 10
;
193-218
;
2022
- Article/Chapter (Book) / Electronic Resource
-
Title:Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
-
Additional title:Lect.Notes Computer
-
Contributors:Shoham, Sharon ( editor ) / Vizel, Yakir ( editor ) / Jin, Peng ( author ) / Tian, Jiaxu ( author ) / Zhi, Dapeng ( author ) / Wen, Xuejun ( author ) / Zhang, Min ( author )
-
Conference:International Conference on Computer Aided Verification ; 2022 ; Haifa, Israel
-
Published in:Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I ; Chapter: 10 ; 193-218Lecture Notes in Computer Science ; 13371 ; 193-218
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2022-08-07
-
Size:26 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Billion SMT Queries a Day (Invited Paper)Rungta, Neha et al. | 2022
- 2
-
Program Verification with Constrained Horn Clauses (Invited Paper)Gurfinkel, Arie et al. | 2022
- 3
-
Data-Driven Invariant Learning for Probabilistic ProgramsBao, Jialu / Trivedi, Nitesh / Pathak, Drashti / Hsu, Justin / Roy, Subhajit et al. | 2022
- 4
-
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic ProgramsChatterjee, Krishnendu / Goharshady, Amir Kafshdar / Meggendorfer, Tobias / Žikelić, Đorđe et al. | 2022
- 5
-
Does a Program Yield the Right Distribution?Chen, Mingshuai / Katoen, Joost-Pieter / Klinkenberg, Lutz / Winkler, Tobias et al. | 2022
- 6
-
Abstraction-Refinement for Hierarchical Probabilistic ModelsJunges, Sebastian / Spaan, Matthijs T. J. et al. | 2022
- 7
-
Shared Certificates for Neural Network VerificationFischer, Marc / Sprecher, Christian / Dimitrov, Dimitar Iliev / Singh, Gagandeep / Vechev, Martin et al. | 2022
- 8
-
Example Guided Synthesis of Linear Approximations for Neural Network VerificationPaulsen, Brandon / Wang, Chao et al. | 2022
- 9
-
Verifying Neural Networks Against Backdoor AttacksPham, Long H. / Sun, Jun et al. | 2022
- 10
-
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement LearningJin, Peng / Tian, Jiaxu / Zhi, Dapeng / Wen, Xuejun / Zhang, Min et al. | 2022
- 11
-
Neural Network Robustness as a Verification Property: A Principled Case StudyCasadio, Marco / Komendantskaya, Ekaterina / Daggitt, Matthew L. / Kokke, Wen / Katz, Guy / Amir, Guy / Refaeli, Idan et al. | 2022
- 12
-
The Lattice-Theoretic Essence of Property Directed Reachability AnalysisKori, Mayuko / Urabe, Natsuki / Katsumata, Shin-ya / Suenaga, Kohei / Hasuo, Ichiro et al. | 2022
- 13
-
Affine Loop Invariant Generation via Matrix AlgebraJi, Yucheng / Fu, Hongfei / Fang, Bin / Chen, Haibo et al. | 2022
- 14
-
Data-driven Numerical Invariant Synthesis with Automatic Generation of AttributesBouajjani, Ahmed / Boutglay, Wael-Amine / Habermehl, Peter et al. | 2022
- 15
-
Proof-Guided Underapproximation Widening for Bounded Model CheckingChatterjee, Prantik / Meda, Jaydeepsinh / Lal, Akash / Roy, Subhajit et al. | 2022
- 16
-
SolCMC: Solidity Compiler’s Model CheckerAlt, Leonardo / Blicha, Martin / Hyvärinen, Antti E. J. / Sharygina, Natasha et al. | 2022
- 17
-
Software Verification of Hyperproperties Beyond k-SafetyBeutner, Raven / Finkbeiner, Bernd et al. | 2022
- 18
-
A Scalable Shannon Entropy EstimatorGolia, Priyanka / Juba, Brendan / Meel, Kuldeep S. et al. | 2022
- 19
-
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party ComputationFan, Yuxin / Song, Fu / Chen, Taolue / Zhang, Liangfeng / Liu, Wanwei et al. | 2022
- 20
-
Explaining Hyperproperty ViolationsCoenen, Norine / Dachselt, Raimund / Finkbeiner, Bernd / Frenkel, Hadar / Hahn, Christopher / Horak, Tom / Metzger, Niklas / Siber, Julian et al. | 2022
- 21
-
Distilling Constraints in Zero-Knowledge ProtocolsAlbert, Elvira / Bellés-Muñoz, Marta / Isabel, Miguel / Rodríguez-Núñez, Clara / Rubio, Albert et al. | 2022
- 22
-
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic EncryptionBanno, Ryotaro / Matsuoka, Kotaro / Matsumoto, Naoki / Bian, Song / Waga, Masaki / Suenaga, Kohei et al. | 2022
- 23
-
Abstraction Modulo Stability for Reverse EngineeringBecchi, Anna / Cimatti, Alessandro et al. | 2022
- 24
-
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope RefinementBak, Stanley / Bogomolov, Sergiy / Hencey, Brandon / Kochdumper, Niklas / Lew, Ethan / Potomkin, Kostiantyn et al. | 2022
- 25
-
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled SystemsGoubault, Eric / Putot, Sylvie et al. | 2022
- 26
-
STLmc: Robust STL Model Checking of Hybrid Systems Using SMTYu, Geunyeol / Lee, Jia / Bae, Kyungmin et al. | 2022
- 27
-
UCLID5: Multi-modal Formal Modeling, Verification, and SynthesisPolgreen, Elizabeth / Cheang, Kevin / Gaddamadugu, Pranav / Godbole, Adwait / Laeufer, Kevin / Lin, Shaokai / Manerkar, Yatin A. / Mora, Federico / Seshia, Sanjit A. et al. | 2022