Similar Items: Learning and Designing Stochastic Processes from Logical Constraints
- On the Metric Temporal Logic for Continuous Stochastic Processes
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
- Logical compactness and constraint satisfaction problems
- Coinductive Proof Principles for Stochastic Processes
- Stochastic Processes with Expected Stopping Time
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic