POLICY SYNTHESIS FOR FACTORED MDPS WITH GRAPH TEMPORAL LOGIC SPECIFICATIONS

von Cubuktepe, Murat
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations

von Raju, Dhananjay
Veröffentlicht in COCOA (14. : 2020 : Online) Combinatorial optimization and applications (2020)

Sensor Synthesis for POMDPs with Reachability Objectives

von Chatterjee, Krishnendu
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss

von Karabag, Mustafa O.
Veröffentlicht in International Conference on Autonomous Agents and Multiagent Systems (21. : 2022 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; Volume 2 of 3 (2022)

NO-REGRET LEARNING WITH HIGH-PROBABILITY IN ADVERSARIAL MARKOV DECISION PROCESSES

von Ghasemi, Mahsa
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (37. : 2021 : Online) 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) ; Part 2 of 3 (2022)

REWARD MACHINES FOR COOPERATIVE MULTI-AGENT REINFORCEMENT LEARNING

von Neary, Cyrus
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 2 of 3 (2021)

MULTIPLE PLANS ARE BETTER THAN ONE: DIVERSE STOCHASTIC PLANNING

von Ghasemi, Mahsa
Veröffentlicht in International Conference on Automated Planning and Scheduling (31. : 2021 : Online) Thirty-first International Conference on Automated Planning and Scheduling (ICAPS 2021) (2021)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

von Xu, Zhe
Veröffentlicht in CD-MAKE (5. : 2021 : Online) Machine Learning and Knowledge Extraction (2021)

Minimum-Violation Traffic Management for Urban Air Mobility

von Bharadwaj, Suda
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Scenario-Based Verification of Uncertain MDPs

von Katoen,, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption

von Blahoudek, František
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Qualitative Controller Synthesis for Consumption Markov Decision Processes

von Blahoudek, Frantisek
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Learning Interpretable Temporal Properties from Positive Examples Only

von Roy, Rajarshi
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Faster Non-Convex Federated Learning Via Global and Local Momentum

von Das, Rudrajit
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (38. : 2022 : Eindhoven) 38th Conference on Uncertainty in Artificial Intelligence (UAI 2022) ; Volume 1 of 3 (2023)

SAFE MULTI-AGENT REINFORCEMENT LEARNING VIA SHIELDING

von Elsayed-Aly, Ingy
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 1 of 3 (2021)

Joint Inference of Reward Machines and Policies for Reinforcement Learning

von Xu, Zhe
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

Class-Aware Adversarial Transformers for Medical Image Segmentation

von You, Chenyu
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 38 of 50 (2023)