https://wiki.omaradalat.com/areas/AI-Evaluation-and-Benchmarking 2026-05-25T07:18:21.168Z https://wiki.omaradalat.com/areas/Causality 2026-05-25T07:17:51.927Z https://wiki.omaradalat.com/areas/Continual-Learning 2026-05-22T06:05:24.968Z https://wiki.omaradalat.com/areas/Explainable-AI 2026-05-25T07:17:51.929Z https://wiki.omaradalat.com/areas/Formal-Methods 2026-05-25T07:18:21.164Z https://wiki.omaradalat.com/areas/Logic-and-Action-Formalisms 2026-05-21T23:14:10.642Z https://wiki.omaradalat.com/areas/Safe-Multi-Agent-Reinforcement-Learning 2026-05-25T07:18:21.165Z https://wiki.omaradalat.com/areas/Spatial-Algorithms-and-Data-Structures 2026-04-11T19:35:24.252Z https://wiki.omaradalat.com/areas/Strategic-Reasoning 2026-05-24T19:24:12.504Z https://wiki.omaradalat.com/areas/Temporal-Logic 2026-05-24T21:51:09.396Z https://wiki.omaradalat.com/artifacts/AI-Evaluation/Monitorability-Metrics-and-Cross-Fit-Filtering 2026-05-21T22:44:46.887Z https://wiki.omaradalat.com/artifacts/Algorithms-and-Data-Structures/Floyd-Sampling-Correctness 2026-05-22T06:07:00.507Z https://wiki.omaradalat.com/artifacts/Algorithms-and-Data-Structures/Segmented-Iterator-Traits 2026-05-24T18:24:08.832Z https://wiki.omaradalat.com/artifacts/Automata-Learning/Dynamic-Automaton-Refinement 2026-05-09T23:04:10.716Z https://wiki.omaradalat.com/artifacts/Brier-Score/Brier-Decomposition 2026-04-11T19:49:17.609Z https://wiki.omaradalat.com/artifacts/Causality/Causal-Decision-Making-Taxonomy 2026-05-24T18:32:59.821Z https://wiki.omaradalat.com/artifacts/Causality/Causal-Game-Intervention-Semantics 2026-05-24T19:22:13.132Z https://wiki.omaradalat.com/artifacts/Causality/Dyadic-Morality-Algebra 2026-05-24T01:41:41.692Z https://wiki.omaradalat.com/artifacts/Causality/Situation-Calculus-Causal-Models 2026-05-21T23:08:47.449Z https://wiki.omaradalat.com/artifacts/Causality/Structural-Intervention-Semantics 2026-05-21T22:47:57.157Z https://wiki.omaradalat.com/artifacts/Causality/Temporal-Structural-Equation-Models 2026-05-21T23:08:47.450Z https://wiki.omaradalat.com/artifacts/Computational-Complexity/EXPTIME-Complexity-Class 2026-05-22T06:07:00.509Z https://wiki.omaradalat.com/artifacts/Counterfactual-Particle-Filtering 2026-05-25T07:15:22.791Z https://wiki.omaradalat.com/artifacts/Deep-Learning/Q-Learning-Convergence 2026-05-24T18:17:57.799Z https://wiki.omaradalat.com/artifacts/Deep-Learning/Regularized-TD-Stability-and-PQN 2026-05-24T15:02:09.089Z https://wiki.omaradalat.com/artifacts/Deep-Learning/Universal-Approximation-Statement 2026-05-21T22:08:15.746Z https://wiki.omaradalat.com/artifacts/Formal-Methods/Full-and-Henkin-Second-Order-Semantics 2026-05-24T21:51:09.393Z https://wiki.omaradalat.com/artifacts/Formal-Methods/ICRL-pMDP-Specification-Decomposition 2026-05-24T18:54:10.362Z https://wiki.omaradalat.com/artifacts/Formal-Methods/Intuitionistic-Proof-Rules 2026-05-23T23:28:07.568Z https://wiki.omaradalat.com/artifacts/Formal-Methods/Lean-Proof-Terms-and-Tactics 2026-05-24T21:52:09.249Z https://wiki.omaradalat.com/artifacts/Formal-Methods/MSO-Automata-Correspondence 2026-05-24T18:39:59.473Z https://wiki.omaradalat.com/artifacts/Guaranteed-Safe-AI-Safety-Case 2026-05-25T07:19:54.575Z https://wiki.omaradalat.com/artifacts/Invariant-Synthesis/Counterexample-Guided-Strategy-Refinement 2026-04-11T19:49:17.609Z https://wiki.omaradalat.com/artifacts/Invariant-Synthesis/Invariant-Strategy-Verification-Conditions 2026-04-11T19:49:17.610Z https://wiki.omaradalat.com/artifacts/Multi-Agent-Logic/ATL-Model-Building 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/artifacts/Multi-Agent-Logic/Multi-Value-Responsibility-Anticipation 2026-05-23T18:10:42.941Z https://wiki.omaradalat.com/artifacts/Multi-Agent-Logic/Semi-Public-Query-Logic 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/artifacts/Opponent-Shaping/Advantage-Alignment-Update 2026-05-21T22:44:46.888Z https://wiki.omaradalat.com/artifacts/Probabilistic-Model-Checking/Distributional-Queries-and-DVI 2026-05-09T23:01:52.359Z https://wiki.omaradalat.com/artifacts/Probabilistic-Model-Checking/Sound-Value-Iteration-Bounds 2026-05-24T17:57:33.493Z https://wiki.omaradalat.com/artifacts/Probability-and-Statistics/Finite-Probability-Counting-Rules 2026-05-21T22:47:57.157Z https://wiki.omaradalat.com/artifacts/Reward-Machines/Cooperative-Reward-Machine-Synthesis 2026-05-21T23:10:54.963Z https://wiki.omaradalat.com/artifacts/Reward-Machines/Hierarchical-Reward-Machine-Semantics 2026-05-21T22:57:35.263Z https://wiki.omaradalat.com/artifacts/Reward-Machines/Reward-Machine-Learning-Methods 2026-05-22T05:48:07.860Z https://wiki.omaradalat.com/artifacts/Safe-Multi-Agent-Reinforcement-Learning/Cooperative-MARL-Baseline-Formalisms 2026-05-24T18:11:17.686Z https://wiki.omaradalat.com/artifacts/Safe-Multi-Agent-Reinforcement-Learning/Coordinate-Ascent-for-CMPGs 2026-05-22T05:52:05.867Z https://wiki.omaradalat.com/artifacts/Safe-Multi-Agent-Reinforcement-Learning/MACPO-Sequential-Trust-Region 2026-05-24T14:20:21.709Z https://wiki.omaradalat.com/artifacts/Safe-Multi-Agent-Reinforcement-Learning/Multi-Agent-Off-Switch-Game 2026-05-23T20:09:04.069Z https://wiki.omaradalat.com/artifacts/Safe-Multi-Agent-Reinforcement-Learning/Safe-Mean-Field-UCRL 2026-05-24T14:20:21.709Z https://wiki.omaradalat.com/artifacts/Safe-Reinforcement-Learning/CPO-Trust-Region-Update 2026-05-24T14:20:21.709Z https://wiki.omaradalat.com/artifacts/Safe-Reinforcement-Learning/Corrupt-Reward-MDPs 2026-05-24T19:14:32.614Z https://wiki.omaradalat.com/artifacts/Safe-Reinforcement-Learning/Discounted-Safety-Bellman-Equation 2026-05-24T18:59:11.090Z https://wiki.omaradalat.com/artifacts/Shielding/Centralized-and-Factored-MARL-Shielding 2026-05-22T07:43:36.581Z https://wiki.omaradalat.com/artifacts/Shielding/Distributed-Shield-Synthesis 2026-05-22T07:45:23.560Z https://wiki.omaradalat.com/artifacts/Shielding/K-Stabilizing-Shield-Synthesis 2026-05-24T14:20:21.710Z https://wiki.omaradalat.com/artifacts/Shielding/PCIS-Safety-Predecessor 2026-05-23T21:28:18.971Z https://wiki.omaradalat.com/artifacts/Shielding/Probabilistic-Risk-Budget-Shields 2026-05-24T17:51:57.039Z https://wiki.omaradalat.com/artifacts/Shielding/Shield-Risk-Decision-Trees 2026-05-24T14:20:21.710Z https://wiki.omaradalat.com/artifacts/Sigmoid-Functions/Logistic-Sigmoid-and-Saturating-Growth 2026-05-21T22:08:15.746Z https://wiki.omaradalat.com/artifacts/Situation-Calculus/Executability 2026-04-11T19:49:17.610Z https://wiki.omaradalat.com/artifacts/Strategic-Reasoning/Action-Aligned-Interaction-Learning 2026-05-24T18:08:55.439Z https://wiki.omaradalat.com/artifacts/Strategic-Reasoning/Aspiration-Dynamics-in-Repeated-Games 2026-05-23T23:25:26.125Z https://wiki.omaradalat.com/artifacts/Strategic-Reasoning/Bayesian-Delegation 2026-05-24T18:08:55.439Z https://wiki.omaradalat.com/artifacts/Strategic-Reasoning/Discounted-Stochastic-Game-Equilibrium 2026-05-24T18:48:03.047Z https://wiki.omaradalat.com/artifacts/Temporal-Logic/Branching-Time-Semantics 2026-05-24T19:07:35.884Z https://wiki.omaradalat.com/artifacts/Temporal-Logic/Duration-Calculus-Pacemaker-Shields 2026-05-24T18:17:57.799Z https://wiki.omaradalat.com/artifacts/Temporal-Logic/Emerson-Lei-Game-Solving 2026-05-24T17:41:07.775Z https://wiki.omaradalat.com/artifacts/Temporal-Logic/PSTCTL-Semantics 2026-04-18T23:59:53.688Z https://wiki.omaradalat.com/artifacts/Temporal-Logic/Safety-LTL-Automata-and-Games 2026-05-24T17:41:07.775Z https://wiki.omaradalat.com/concepts/Actual-Causality 2026-05-24T19:23:56.694Z https://wiki.omaradalat.com/concepts/Ad-Hoc-Teamwork 2026-05-24T18:08:55.437Z https://wiki.omaradalat.com/concepts/Alternating-Time-Temporal-Logic 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/concepts/Aspiration-Based-Reinforcement-Learning 2026-05-23T23:25:26.124Z https://wiki.omaradalat.com/concepts/Automata-Learning 2026-05-24T18:40:36.039Z https://wiki.omaradalat.com/concepts/Automata-Theoretic-Logic 2026-05-24T21:51:09.394Z https://wiki.omaradalat.com/concepts/Benchmark-Gaming 2026-05-24T18:10:11.211Z https://wiki.omaradalat.com/concepts/Beta-Distribution 2026-04-18T01:39:35.836Z https://wiki.omaradalat.com/concepts/Branching-Time-Temporal-Logic 2026-05-24T19:08:08.511Z https://wiki.omaradalat.com/concepts/Brier-Score 2026-04-11T19:49:17.607Z https://wiki.omaradalat.com/concepts/Calibration 2026-05-21T22:45:50.173Z https://wiki.omaradalat.com/concepts/Causal-Decision-Making 2026-05-25T07:17:39.282Z https://wiki.omaradalat.com/concepts/Causal-Games 2026-05-24T19:22:13.131Z https://wiki.omaradalat.com/concepts/Chain-of-Thought-Monitorability 2026-05-21T22:44:46.885Z https://wiki.omaradalat.com/concepts/Compositional-Reinforcement-Learning 2026-05-24T18:54:10.362Z https://wiki.omaradalat.com/concepts/Constrained-Markov-Decision-Processes 2026-05-24T17:53:03.290Z https://wiki.omaradalat.com/concepts/Constrained-Markov-Potential-Games 2026-05-24T18:48:45.960Z https://wiki.omaradalat.com/concepts/Constrained-Policy-Optimization 2026-05-24T14:19:06.078Z https://wiki.omaradalat.com/concepts/Cooperative-MARL-Benchmarking 2026-05-24T18:08:55.439Z https://wiki.omaradalat.com/concepts/Cooperative-Multi-Agent-Reinforcement-Learning 2026-05-24T18:10:11.208Z https://wiki.omaradalat.com/concepts/Corrigibility 2026-05-24T19:16:12.213Z https://wiki.omaradalat.com/concepts/Counterfactual-Simulation 2026-05-25T07:15:22.790Z https://wiki.omaradalat.com/concepts/Counting-in-Probability 2026-05-21T22:47:57.158Z https://wiki.omaradalat.com/concepts/Distributional-Value-Iteration 2026-05-24T17:56:09.551Z https://wiki.omaradalat.com/concepts/Double-Descent 2026-05-21T22:07:02.250Z https://wiki.omaradalat.com/concepts/Duration-Calculus 2026-05-24T18:17:57.799Z https://wiki.omaradalat.com/concepts/Dyadic-Morality 2026-05-24T01:41:41.691Z https://wiki.omaradalat.com/concepts/Dynamic-Epistemic-Logic 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/concepts/EXPTIME 2026-05-24T17:42:01.878Z https://wiki.omaradalat.com/concepts/Emergent-Communication 2026-05-24T18:10:11.210Z https://wiki.omaradalat.com/concepts/Emerson-Lei-Objectives 2026-05-24T17:41:07.774Z https://wiki.omaradalat.com/concepts/Explainable-Shielding 2026-05-24T14:19:06.079Z https://wiki.omaradalat.com/concepts/Floyd's-Sampling-Algorithm 2026-05-22T06:05:07.045Z https://wiki.omaradalat.com/concepts/Goal-Alignment 2026-05-25T07:18:21.167Z https://wiki.omaradalat.com/concepts/Guaranteed-Safe-AI 2026-05-25T07:19:54.576Z https://wiki.omaradalat.com/concepts/Hamilton-Jacobi-Reachability 2026-05-24T18:59:11.090Z https://wiki.omaradalat.com/concepts/Higher-Order-Logic 2026-05-24T21:52:09.252Z https://wiki.omaradalat.com/concepts/Intuitionistic-Logic 2026-05-23T23:28:07.569Z https://wiki.omaradalat.com/concepts/Invariant-Synthesis 2026-05-23T21:28:18.977Z https://wiki.omaradalat.com/concepts/Lean-Theorem-Prover 2026-05-24T21:52:09.251Z https://wiki.omaradalat.com/concepts/Linear-Temporal-Logic 2026-05-24T19:06:52.225Z https://wiki.omaradalat.com/concepts/Mean-Field-Reinforcement-Learning 2026-05-24T14:19:06.079Z https://wiki.omaradalat.com/concepts/Multi-Agent-Coordination 2026-05-24T18:08:55.437Z https://wiki.omaradalat.com/concepts/Multi-Agent-Influence-Diagrams 2026-05-24T19:22:13.132Z https://wiki.omaradalat.com/concepts/Multi-Agent-Non-Stationarity 2026-05-24T18:48:35.086Z https://wiki.omaradalat.com/concepts/Multi-Agent-PPO 2026-05-24T15:00:51.020Z https://wiki.omaradalat.com/concepts/Nearest-Neighbor-Search 2026-04-11T19:35:24.252Z https://wiki.omaradalat.com/concepts/Non-Markovian-Reinforcement-Learning 2026-05-24T18:54:41.207Z https://wiki.omaradalat.com/concepts/Opponent-Shaping 2026-05-24T18:10:11.210Z https://wiki.omaradalat.com/concepts/Predicate-Abstraction 2026-04-10T02:23:02.773Z https://wiki.omaradalat.com/concepts/Probabilistic-Controlled-Invariant-Sets 2026-05-23T21:28:18.971Z https://wiki.omaradalat.com/concepts/Probabilistic-Model-Checking 2026-05-24T18:54:41.206Z https://wiki.omaradalat.com/concepts/Probabilistic-Shielding 2026-05-24T17:51:57.039Z https://wiki.omaradalat.com/concepts/Probabilistic-Strategic-Timed-CTL 2026-05-24T19:08:08.512Z https://wiki.omaradalat.com/concepts/Q-Learning 2026-05-24T18:17:57.798Z https://wiki.omaradalat.com/concepts/Quadtrees 2026-04-11T19:35:24.252Z https://wiki.omaradalat.com/concepts/Reactive-Synthesis 2026-05-24T17:43:10.734Z https://wiki.omaradalat.com/concepts/Responsibility-Anticipation 2026-05-23T18:09:38.781Z https://wiki.omaradalat.com/concepts/Reward-Machines 2026-05-24T18:54:41.207Z https://wiki.omaradalat.com/concepts/Reward-Tampering 2026-05-24T19:14:32.614Z https://wiki.omaradalat.com/concepts/Runtime-Verification 2026-05-24T17:42:01.876Z https://wiki.omaradalat.com/concepts/S-Curves-and-Saturating-Growth 2026-05-21T22:08:15.749Z https://wiki.omaradalat.com/concepts/Safe-Reinforcement-Learning 2026-05-25T07:18:21.166Z https://wiki.omaradalat.com/concepts/Safety-Games 2026-05-24T17:41:07.773Z https://wiki.omaradalat.com/concepts/Safety-and-Co-Safety-Properties 2026-05-24T17:41:07.773Z https://wiki.omaradalat.com/concepts/Second-Order-Logic 2026-05-24T21:51:09.393Z https://wiki.omaradalat.com/concepts/Segmented-Iterators 2026-05-24T18:24:08.831Z https://wiki.omaradalat.com/concepts/Shield-Synthesis 2026-05-24T17:42:01.877Z https://wiki.omaradalat.com/concepts/Shielding 2026-05-24T18:59:11.093Z https://wiki.omaradalat.com/concepts/Sigmoid-Functions 2026-05-21T22:08:15.748Z https://wiki.omaradalat.com/concepts/Situation-Calculus 2026-05-21T23:13:22.820Z https://wiki.omaradalat.com/concepts/Social-Learning-in-MARL 2026-05-24T18:08:55.439Z https://wiki.omaradalat.com/concepts/Sound-Value-Iteration 2026-05-24T17:57:33.492Z https://wiki.omaradalat.com/concepts/Stochastic-Games 2026-05-24T18:48:03.046Z https://wiki.omaradalat.com/concepts/Structural-Equation-Models 2026-05-25T07:17:39.281Z https://wiki.omaradalat.com/concepts/Successful-Misunderstandings 2026-05-23T20:09:04.068Z https://wiki.omaradalat.com/concepts/Temporal-Causal-Models 2026-05-21T23:08:47.449Z https://wiki.omaradalat.com/concepts/Temporal-Difference-Learning 2026-05-24T18:18:42.085Z https://wiki.omaradalat.com/concepts/Universal-Approximation-Theorem 2026-05-21T22:08:15.750Z https://wiki.omaradalat.com/concepts/Value-Decomposition-Networks 2026-05-24T15:02:09.089Z https://wiki.omaradalat.com/foundations/Algorithms-and-Data-Structures 2026-05-24T18:24:53.965Z https://wiki.omaradalat.com/foundations/Control-Theory 2026-05-24T18:59:11.091Z https://wiki.omaradalat.com/foundations/Decision-Theory 2026-05-25T07:18:33.881Z https://wiki.omaradalat.com/foundations/Deep-Learning-Fundamentals 2026-05-24T18:18:54.213Z https://wiki.omaradalat.com/foundations/Probability-and-Statistics 2026-05-25T07:18:33.880Z https://wiki.omaradalat.com/ 2026-05-25T07:20:39.921Z https://wiki.omaradalat.com/outputs/Shielding,-Temporal-Logic,-and-Safe-MARL 2026-04-09T23:00:00.000Z https://wiki.omaradalat.com/sources/AISafetyCom2026---Map-of-AI-Existential-Safety 2026-05-23T23:25:26.125Z https://wiki.omaradalat.com/sources/AbuseOfNotation2026---The-Case-Against-Boolean-Logic 2026-05-23T23:28:07.568Z https://wiki.omaradalat.com/sources/Achiam2017---Constrained-Policy-Optimization 2026-05-24T14:17:56.486Z https://wiki.omaradalat.com/sources/Agrawal2026---The-Multi-Agent-Off-Switch-Game 2026-05-23T20:09:04.063Z https://wiki.omaradalat.com/sources/Ahmed2022---Deep-Reinforcement-Learning-for-Multi-Agent-Interaction 2026-05-24T18:07:00.090Z https://wiki.omaradalat.com/sources/Alatur2024---Provably-Learning-Nash-Policies-in-Constrained-Markov-Potential-Games 2026-05-22T05:52:05.862Z https://wiki.omaradalat.com/sources/Alinejad2026---Dynamic-Automaton-Refinement-and-Planning-for-Non-Markovian-RL 2026-05-09T23:04:10.716Z https://wiki.omaradalat.com/sources/Alshiekh2018---Safe-Reinforcement-Learning-via-Shielding 2026-04-11T23:53:42.980Z https://wiki.omaradalat.com/sources/Artale2023---Complexity-of-Safety-and-coSafety-Fragments-of-Linear-Temporal-Logic 2026-05-24T17:41:07.772Z https://wiki.omaradalat.com/sources/Bartocci2018---Introduction-to-Runtime-Verification 2026-05-22T06:06:05.619Z https://wiki.omaradalat.com/sources/Bendor2001---Aspiration-Based-Reinforcement-Learning-in-Repeated-Interaction-Games 2026-05-23T23:24:04.618Z https://wiki.omaradalat.com/sources/Bloem2015---Shield-Synthesis 2026-05-24T14:17:56.488Z https://wiki.omaradalat.com/sources/BoostedCpp2026---Neoclassical-C++-Segmented-Iterators-Revisited 2026-05-24T18:24:08.831Z https://wiki.omaradalat.com/sources/Brorholt2025---Compositional-Shielding-and-Reinforcement-Learning-for-Multi-Agent-Systems 2026-05-22T07:45:30.309Z https://wiki.omaradalat.com/sources/Cerexhe2011---Executability-in-the-Situation-Calculus 2026-04-11T23:53:42.981Z https://wiki.omaradalat.com/sources/Chelarescu2021---Deception-in-Social-Learning 2026-05-24T18:07:00.092Z https://wiki.omaradalat.com/sources/Dalrymple2024---Towards-Guaranteed-Safe-AI 2026-05-25T07:19:54.576Z https://wiki.omaradalat.com/sources/Dole2023---Correct-by-Construction-Reinforcement-Learning-of-Cardiac-Pacemakers-from-Duration-Calculus-Requirements 2026-05-24T18:17:57.798Z https://wiki.omaradalat.com/sources/Dolgorukov2024---Dynamic-Epistemic-Logic-of-Resource-Bounded-Information-Mining-Agents 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/sources/ElSayed-Aly2021---Safe-Multi-Agent-Reinforcement-Learning-via-Shielding 2026-05-22T07:43:36.580Z https://wiki.omaradalat.com/sources/Elsayed-Aly2024---Distributional-Probabilistic-Model-Checking 2026-05-09T23:01:52.358Z https://wiki.omaradalat.com/sources/Everitt2019---Towards-Safe-Artificial-General-Intelligence 2026-05-24T19:14:32.613Z https://wiki.omaradalat.com/sources/Fink1964---Equilibrium-in-a-Stochastic-n-Person-Game 2026-05-24T18:47:23.699Z https://wiki.omaradalat.com/sources/Fisac2019---Bridging-Hamilton-Jacobi-Safety-Analysis-and-Reinforcement-Learning 2026-05-24T18:59:22.673Z https://wiki.omaradalat.com/sources/Fox2024---Causality-and-Strategic-Reasoning 2026-05-24T19:22:13.131Z https://wiki.omaradalat.com/sources/Furelos-Blanco2023---Hierarchies-of-Reward-Machines 2026-05-21T22:57:42.094Z https://wiki.omaradalat.com/sources/Galimullin2025---Changing-the-Rules-of-the-Game 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/sources/Gallici2025---Simplifying-Deep-Temporal-Difference-Learning 2026-05-24T14:58:28.203Z https://wiki.omaradalat.com/sources/Ge2026---A-Review-of-Causal-Decision-Making 2026-05-24T18:32:59.821Z https://wiki.omaradalat.com/sources/Ghasemi2025---Toward-Virtuous-Reinforcement-Learning 2026-04-11T23:53:42.981Z https://wiki.omaradalat.com/sources/Gladyshev2025---Temporal-Causal-Reasoning-with-Non-Recursive-SEMs 2026-05-21T23:08:47.449Z https://wiki.omaradalat.com/sources/Gladyshev2026---Temporal-Causal-Models-as-a-Model-of-Computation 2026-05-21T23:08:47.449Z https://wiki.omaradalat.com/sources/Goranko2023---Temporal-Logics 2026-05-24T19:07:35.883Z https://wiki.omaradalat.com/sources/GrowingSWE2026---An-Interactive-Intro-to-Quadtrees 2026-04-11T23:53:42.981Z https://wiki.omaradalat.com/sources/Gu2022---Multi-Agent-Constrained-Policy-Optimisation 2026-05-24T14:17:56.486Z https://wiki.omaradalat.com/sources/Guan2026---Open-Sourcing-Monitorability-Evaluations 2026-05-21T22:44:46.884Z https://wiki.omaradalat.com/sources/HamelDeLeCourt2025---ProSh-Probabilistic-Shielding-for-Model-free-Reinforcement-Learning 2026-05-24T17:51:57.037Z https://wiki.omaradalat.com/sources/HamelDeLeCourt2025---Probabilistic-Shielding-for-Safe-Reinforcement-Learning 2026-05-24T17:51:57.037Z https://wiki.omaradalat.com/sources/Hashimoto2026---Data-Driven-Synthesis-of-Probabilistic-Controlled-Invariant-Sets-for-Linear-MDPs 2026-05-23T21:28:18.970Z https://wiki.omaradalat.com/sources/Hausmann2024---Symbolic-Solution-of-Emerson-Lei-Games-for-Reactive-Synthesis 2026-05-24T17:41:07.772Z https://wiki.omaradalat.com/sources/Hofmann2025---Automata-Theory-and-Logic 2026-05-24T18:39:59.472Z https://wiki.omaradalat.com/sources/Hopkins2005---Causality-and-Counterfactuals-in-the-Situation-Calculus 2026-05-21T23:08:47.448Z https://wiki.omaradalat.com/sources/Jaffray2026---Floyd's-Sampling-Algorithm 2026-05-22T06:04:51.463Z https://wiki.omaradalat.com/sources/Jamroga2026---Towards-Probabilistic-Strategic-Timed-CTL 2026-04-18T23:59:53.688Z https://wiki.omaradalat.com/sources/Jusup2024---Safe-Model-Based-Multi-Agent-Mean-Field-Reinforcement-Learning 2026-05-24T14:17:56.489Z https://wiki.omaradalat.com/sources/Karunus2026---All-Lean-Books-And-Where-To-Find-Them 2026-05-24T21:52:09.249Z https://wiki.omaradalat.com/sources/Karvanen2024---Simulating-Counterfactuals 2026-05-25T07:15:22.786Z https://wiki.omaradalat.com/sources/Kondylidis2025---Successful-Misunderstandings:-Learning-to-Coordinate-Without-Being-Understood 2026-05-23T20:09:04.065Z https://wiki.omaradalat.com/sources/Latvala2002---Efficient-Model-Checking-of-Safety-Properties 2026-05-24T17:42:01.874Z https://wiki.omaradalat.com/sources/LeroyOd2019---Universal-Approximation-Theorem-Proof-Pointers 2026-05-21T22:08:15.748Z https://wiki.omaradalat.com/sources/LessWrong2026---All-Exponentials-are-Eventually-S-Curves 2026-05-21T22:08:15.747Z https://wiki.omaradalat.com/sources/Liu2026---A-Counterfactual-Cause-in-Situation-Calculus 2026-05-21T23:08:47.448Z https://wiki.omaradalat.com/sources/Llb4ll2026---k-Nearest-Neighbor-Search-using-D3-Quadtrees-(Gist) 2026-04-11T23:53:42.982Z https://wiki.omaradalat.com/sources/Llb4ll2026---k-Nearest-Neighbor-Search-using-D3-Quadtrees-(Observable) 2026-04-11T23:53:42.982Z https://wiki.omaradalat.com/sources/Luo2022---Automated-Synthesis-of-Generalized-Invariant-Strategies 2026-04-11T23:53:42.982Z https://wiki.omaradalat.com/sources/MIT6041---Probability-Counting 2026-05-21T22:47:57.158Z https://wiki.omaradalat.com/sources/MacKinlay2026---Opponent-Shaping-as-a-Model-for-Manipulation-and-Cooperation 2026-05-21T22:44:46.885Z https://wiki.omaradalat.com/sources/Neary2022---Verifiable-and-Compositional-Reinforcement-Learning-Systems 2026-05-24T18:55:03.939Z https://wiki.omaradalat.com/sources/Papadopoulos2025---An-Extended-Benchmarking-of-Multi-Agent-Reinforcement-Learning-Algorithms-in-Complex-Fully-Cooperative-Tasks 2026-05-24T18:12:19.393Z https://wiki.omaradalat.com/sources/Papoudakis2019---Dealing-with-Non-Stationarity-in-Multi-Agent-Deep-Reinforcement-Learning 2026-05-22T05:56:35.144Z https://wiki.omaradalat.com/sources/Parker2024---Responsibility-in-a-Multi-Value-Strategic-Setting 2026-05-23T18:10:42.940Z https://wiki.omaradalat.com/sources/Pearl2026---Structural-Equation-Models-and-Intervention-Assumptions-Thread 2026-05-21T22:47:57.158Z https://wiki.omaradalat.com/sources/Phan2026---Humanity's-Last-Exam 2026-04-11T23:53:42.983Z https://wiki.omaradalat.com/sources/PredictAddict2026---Calibration-vs-Refinement-Thread 2026-04-11T23:53:42.983Z https://wiki.omaradalat.com/sources/Quatmann2018---Sound-Value-Iteration 2026-05-24T17:57:33.492Z https://wiki.omaradalat.com/sources/RDI2026---How-We-Broke-Top-AI-Agent-Benchmarks 2026-04-18T01:50:40.575Z https://wiki.omaradalat.com/sources/Rieder2025---Explainably-Safe-Reinforcement-Learning 2026-05-24T14:17:56.489Z https://wiki.omaradalat.com/sources/Rother2023---Disentangling-Interaction-using-Maximum-Entropy-Reinforcement-Learning-in-Multi-Agent-Systems 2026-05-24T18:07:00.089Z https://wiki.omaradalat.com/sources/Rutherford2024---JaxMARL 2026-04-11T23:53:42.983Z https://wiki.omaradalat.com/sources/Sunehag2017---Value-Decomposition-Networks-for-Cooperative-Multi-Agent-Learning 2026-05-24T15:00:51.022Z https://wiki.omaradalat.com/sources/Toro-Icarte2022---Reward-Machines 2026-05-22T05:48:07.857Z https://wiki.omaradalat.com/sources/Vaananen2024---Second-Order-and-Higher-Order-Logic 2026-05-24T21:51:09.392Z https://wiki.omaradalat.com/sources/Varricchione2023---Synthesising-Reward-Machines-for-Cooperative-MARL 2026-05-21T23:10:54.962Z https://wiki.omaradalat.com/sources/Varricchione2024---Pure-Past-Action-Masking 2026-05-22T06:06:05.621Z https://wiki.omaradalat.com/sources/Varshney2026---An-Algebraic-Exposition-of-the-Theory-of-Dyadic-Morality 2026-05-24T01:41:41.690Z https://wiki.omaradalat.com/sources/Vinzent2026---Probabilistic-Safety-Verification-of-Neural-Policies-via-Predicate-Abstraction 2026-05-22T06:06:05.621Z https://wiki.omaradalat.com/sources/Wang2020---Too-Many-Cooks:-Coordinating-Multi-agent-Collaboration-Through-Inverse-Planning 2026-05-24T18:07:00.090Z https://wiki.omaradalat.com/sources/Watkins1992---Q-Learning 2026-05-24T18:19:45.670Z https://wiki.omaradalat.com/sources/Wikipedia2026---Beta-Distribution 2026-04-18T01:39:35.836Z https://wiki.omaradalat.com/sources/Wikipedia2026---Brier-Score 2026-04-11T23:53:42.984Z https://wiki.omaradalat.com/sources/Wikipedia2026---Double-Descent 2026-05-21T22:07:02.249Z https://wiki.omaradalat.com/sources/Wikipedia2026---EXPTIME 2026-05-22T06:04:51.463Z https://wiki.omaradalat.com/sources/Wikipedia2026---Sigmoid-Function 2026-05-21T22:08:15.746Z https://wiki.omaradalat.com/sources/Yu2022---The-Surprising-Effectiveness-of-PPO-in-Cooperative-Multi-Agent-Games 2026-05-24T15:00:51.023Z https://wiki.omaradalat.com/sources/Zhang2025---Trustworthy-Reinforcement-Learning-under-Constraints-and-Perturbations 2026-05-22T06:06:05.622Z https://wiki.omaradalat.com/sources/Zhu2020---A-Symbolic-Approach-to-Safety-LTL-Synthesis 2026-05-24T17:41:07.770Z