12 Dec 2024Two new papers accepted at AAAI 2025 Researches in Formela lab discover algorithmic advances in planning for autonomous agents.
22 Jul 2024LGPD: A General Framework for Backpropagation through Embedded Optimization Layers ICML 2024 Conference paper
April 2024The PCTL satisfiability problem resolved! The general/finite PCTL satisfiability problems are undecidable.
9 Dec 2023A new paper was accepted to AAAI 2024! A paper on local stability of invariant distributions was accepted to AAAI 2024.
