Pages that link to "Item:Q3457808"
From MaRDI portal
The following pages link to A Game-Theoretic Approach to Simulation of Data-Parameterized Systems (Q3457808):
Displaying 3 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- Design of rational data exchange procedures in the hierarchical two-player game: A parametric formulation (Q1778937) (← links)
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains (Q2331081) (← links)