Linked e-resources
Details
Table of Contents
Systems with Runtime Assurance Architectures
Continuation-Passing Style into Static Single Assignment Form
Framework based on Reinforcement Learning
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning
Based Embedded Software Design
Probabilistic Contracts Using Timed Automata
Asynchronous test equivalence over timed processes
Protocol Conformance with Choreographic PlusCal
Verifying Chips Design at RTL Level
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects
Identifying Minimal Changes in the Zone Abstract Domain
idDL2DL - Interval syntax to DL
Safety Verification for Neural Networks Based on Set-boundary Analysis
Approximately learning quantum automata
View-Based Axiomatic Reasoning for PSO
Resource Sensitive Workflow Models
MTCD: An Efficient Cloning Detection Technique Based on Method Table
Stepwise development of paraconsistent processes
Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters.
Continuation-Passing Style into Static Single Assignment Form
Framework based on Reinforcement Learning
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning
Based Embedded Software Design
Probabilistic Contracts Using Timed Automata
Asynchronous test equivalence over timed processes
Protocol Conformance with Choreographic PlusCal
Verifying Chips Design at RTL Level
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects
Identifying Minimal Changes in the Zone Abstract Domain
idDL2DL - Interval syntax to DL
Safety Verification for Neural Networks Based on Set-boundary Analysis
Approximately learning quantum automata
View-Based Axiomatic Reasoning for PSO
Resource Sensitive Workflow Models
MTCD: An Efficient Cloning Detection Technique Based on Method Table
Stepwise development of paraconsistent processes
Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters.