Pages that link to "Item:Q5899066"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899066):
Displayed 9 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Handshake Games (Q2864210) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)