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