Similar Items: On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
- Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
- From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- Memory Gym: Towards Endless Tasks to Benchmark Memory Capabilities of Agents
- Games and Strategies as Event Structures
- Dynamic Causality in Event Structures
- Representing Dependencies in Event Structures