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.
21 May 2022 A paper about on-the-fly patrolling strategy adaptation accepted to UAI 2022 UAI 2022 paper
