Concepedia

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Information and Computation · 2015 · 28 citations · 13 references

Open access

Concepts

BusinessDecision SciencesDecision TheoryGame TheoryMarkov Decision ProcessesDeterminacy AxiomsFairness In Machine LearningPartially Observable Markov Decision ProcessesFairness ConditionsFairness ConstraintsFairness In Reinforcement LearningFairness PropertiesPartial ObservabilityPartial Observability Models

References

13

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

Computing, Computer Science, Formal Methods +12

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Wiebe van der Hoek, Michael Wooldridge · Studia Logica · 2003 · 273 citations

Humanities, Philosophy, Knowledge Representation +11