Skip to:Content
|
Bottom
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Title:
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author:
Rozier, Kristin Yvonne. editor.
ISBN:
9783031331701
Edition:
1st ed. 2023.
Physical Description:
XXIII, 490 p. 149 illus., 89 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13903
Contents:
Non-linear Activation Functions -- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes -- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations -- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq -- Verifying an Aircraft Collision Avoidance Neural Network with Marabou -- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access -- Learning Symbolic Timed Models from Concrete Timed Data -- Reward Shaping from Hybrid Systems Models in Reinforcement Learning -- Conservative Safety Monitors of Stochastic Dynamical Systems -- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems -- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks -- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming -- A Framework for Policy Based Negotiation -- Rewrite-Based Decomposition of Signal Temporal Logic Specifications -- Quantitative Verification and Strategy Synthesis for BDI Agents -- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration -- Reasoning over Test Specifications using Assume-Guarantee Contracts -- Formally Proved Memory Controllers: From the Standards to Silicon -- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework -- Formalized High Level Synthesis with Applications to Cryptographic Hardware -- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif -- Automata-Based Software Model Checking of Hyperproperties -- Condition Synthesis Realizability via Constrained Horn Clauses -- A Toolkit for Automated Testing of Dafny -- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation -- Subtropical Satisfiability for SMT Solving -- A Linear Weight Transfer Rule for Local Search -- 1.1 : Zero-suppressed Decision Diagrams in External Memory -- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 520984-1001 XX(520984.1)
Searching...

On Order

Go to:Top of Page