M. Vinzent,
H. Hermanns,
and
J. Hoffmann,
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction,
Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI'26), 2026.
(Paper)
(Technical Report)
(Tool)
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.
(Paper)
(Technical Report)
(Tool)
(Proceedings)
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)
(Proceedings)
M. Vinzent,
H. Hermanns,
and
J. Hoffmann,
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction,
Proceedings of the Workshop on Reliability In Planning and Learning (RIPL), at ICAPS'25.
(Paper)
(Technical Appendix)
(Tool: as per AAAI'26)
(Workshop)
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.
(Paper)
(RDDPS)
(VeriLearn)
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.
(Paper)
(Workshop)
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.
(Paper)
(Workshop)
Others
M. Vinzent,
Neural Network Action Policy Verification via Predicate Abstraction,
Proceedings of the 20th ICAPS Doctoral Consortium, at ICAPS'22.
(Abstract)
(Proceedings)
