1 code implementation • 14 May 2024 • Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska
A common issue in learning decision-making policies in data-rich settings is spurious correlations in the offline dataset, which can be caused by hidden confounders.
no code implementations • 28 Nov 2023 • Daqian Shao, Lukas Fesser, Marta Kwiatkowska
Robustness certification, which aims to formally certify the predictions of neural networks against adversarial inputs, has become an integral part of important tool for safety-critical applications.
1 code implementation • 2 May 2023 • Daqian Shao, Marta Kwiatkowska
Linear Temporal Logic (LTL) is widely used to specify high-level objectives for system policies, and it is highly desirable for autonomous systems to learn the optimal policy with respect to such specifications.