A paper on planning for resource-constrained agents accepted at AAAI 2023

The paper "Shielding in Resource-Constrained Goal POMDPs" by M. Ajdarów, Š. Brlej, and P. Novotný was accepted at AAAI23! Includes navigating a (virtual) electric taxicab through NYC by combining formal methods and heuristic search. Preprint coming soon