Similar Items: On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
- Relational Dualities and Bisimulation
- Finitary Truly Concurrent Bisimulations
- Efficient Decision Procedures for RNmatrix Semantics
- Pseudo-Complex Quantifier Elimination
- Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
- täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)