M. Vinzent
and
J. Hoffmann,
Neural Action Policy Safety Verification: Applicability Filtering,
Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS'24), 2024.
(PDF)
(Technical Report)
(Tool)
M. Vinzent,
S. Sharma,
and
J. Hoffmann,
Neural Policy Safety Verification via Predicate Abstraction: CEGAR,
Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI'23), 2023.
(PDF)
(Technical Report)
(Tool)
M. Vinzent,
M. Steinmetz,
and
J. Hoffmann,
Neural Network Action Policy Verification via Predicate Abstraction,
Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.
(PDF)
(Technical Report)
(Tool)
Workshop Papers
M. Vinzent,
M. Wu,
H. Wu,
and J. Hoffmann,
Policy-Specific Abstraction Predicate Selection in Neural Policy Safety Verification,
Proceedings of the
Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS'23
and
The Verifying Learning AI Systems (VeriLearn) Workshop, at ECAI'23.
(PDF)
M. Vinzent,
and
J. Hoffmann,
Neural Policy Verification via Predicate Abstraction: CEGAR,
Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS'22.
(PDF)
M. Vinzent
and
J. Hoffmann,
Neural Network Action Policy Verification via Predicate Abstraction,
Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'21.
(PDF)
Others
M. Vinzent,
Neural Network Action Policy Verification via Predicate Abstraction,
Proceedings of the 20th ICAPS Doctoral Consortium, at ICAPS'22.
