On-the-Fly Model Checking with Neural MCTS

On-the-Fly Model Checking with Neural MCTS

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods
1. Verfasser: Xu, Ruiyang (VerfasserIn)
Weitere Verfasser: Lieberherr, Karl (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Concept Design Moves 2022 Jackson, Daniel
Formal Methods for Trusted Space Autonomy: Boon or Bane? 2022 Chien, Steve A.
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS 2022 Mehmood, Usama
An Essence of Domain Engineering 2022 Bjørner, Dines
Reachability Analysis for Cyber-Physical Systems: Are We There Yet? 2022 Chen, Xin
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems[dagger sign] 2022 Graebener, Josefine B.
Verified Probabilistic Policies for Deep Reinforcement Learning 2022 Bacci, Edoardo
Zone Extrapolations in Parametric Timed Automata 2022 Arcile, Johan
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry 2022 Luppen, Zachary
Assume-Guarantee Reasoning with Scheduled Components 2022 Liu, Cong
Configurable Benchmarks for C Model Checkers 2022 Fink, Xaver
Hypercontracts 2022 Incer, Inigo
Incremental Transitive Closure for Zonal Abstract Domain 2022 Ballou, Kenny
Approximate Translation from Floating-Point to Real-Interval Arithmetic 2022 Ishii, Daisuke
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing 2022 Santa Cruz, Ulices
Quantification of Battery Depletion Risk Made Efficient 2022 Hermanns, Holger
Permutation Invariance of Deep Neural Networks with ReLUs 2022 Mukhopadhyay, Diganta
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning 2022 Pferscher, Andrea
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth 2022 An, Xiaoxin
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification 2022 Bhatt, Devesh
Alle Artikel auflisten