Talks 15
- On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs Jun 14, 2024
- TBA May 17, 2024
- How Fast Can We Compute (Approximate) Nash Equilibria in Zero-sum Matrix Games? Apr 19, 2024
- On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications Mar 8, 2024
- Exploiting Epistemic Uncertainty for Deep Exploration in Reinforcement Learning Feb 16, 2024
- Distance Structures and their Algorithmic Applications Jan 19, 2024
- SAT-based Judgment Aggregation Dec 1, 2023
- The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable Nov 17, 2023
- Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence Oct 20, 2023
- Automated Reasoning for Economic Theory Sep 22, 2023
- Supervisor Synthesis: Turning Automata into Control Software Jun 16, 2023
- Social Welfare Loss in Hybrid Multi-Unit Auctions May 12, 2023
- Data examples Apr 21, 2023
- Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria Mar 24, 2023
- Lifted Classical Planning via Propositional Logic Satisfiability Feb 24, 2023