scientific article; zbMATH DE number 7438567
From MaRDI portal
Publication:5013877
Recommendations
- Partial observability and learnability
- \(\text{RL}\subseteq \text{SC}\)
- A Hennessy-Milner theorem for ATL with imperfect information
- A framework for state attraction of discrete event systems under partial observation
- On stochastic observability under incomplete a priori data
- On the information content of partial observations
- Conditional observability versus self-duality in a schematic model
- Partial observability of stochastic semilinear systems
- The Partially Observed Stochastic Minimum Principle
Cites work
- Alternating-time logic with imperfect recall
- Alternating-time temporal logic
- ATL with Strategy Contexts and Bounded Memory
- Augmenting ATL with strategy contexts
- Hierarchical information patterns and distributed strategy synthesis
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- On satisfiability in ATL with strategy contexts
- Quantified CTL: expressiveness and complexity
- Quantified CTL: expressiveness and model checking (extended abstract)
- Reasoning about strategies
- Satisfiability of \textsf{ATL} with strategy contexts
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
- Strategy Logic
Cited in
(5)- Imperfect information in reactive modules games
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- Reasoning about strategies under partial observability and fairness constraints
- Satisfiability of \textsf{ATL} with strategy contexts
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013877)
