Asynchronous Composition of Local Interface LTL Properties

Asynchronous Composition of Local Interface LTL Properties

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods
1. Verfasser: Bombardelli, Alberto (VerfasserIn)
Weitere Verfasser: Tonetta, Stefano (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
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning 2022 Meng, Yue
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability 2022 Bak, Stanley
Hierarchical Contract-Based Synthesis for Assurance Cases 2022 Wang, Timothy E.
Timed Automata Learning via SMT Solving 2022 Tappler, Martin
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda 2022 Carr, Harold
Monitorability of Expressive Verdicts 2022 Gorostiaga, Felipe
On-the-Fly Model Checking with Neural MCTS 2022 Xu, Ruiyang
On the Termination of Borrow Checking in Featherweight Rust 2022 Payet, Étienne
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior 2022 André, Étienne
BDDs Strike Back 2022 Basgöze, Daniel
The Power of Disjoint Support Decompositions in Decision Diagrams 2022 Vinkhuijzen, Lieuwe
Certified Computation of Nondeterministic Limits 2022 Konečný, Michal
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I 2022 Aurandt, Alexis
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
Alle Artikel auflisten