Similar Items: Infinite Probabilistic Databases
- Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- On Sessions and Infinite Data
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Infinite sequential Nash equilibrium
- Boundedness in languages of infinite words