재정 지원 요구사항을 통해 공개된 자료 - Mohammad Abdulaziz자세히 알아보기
제공된 곳이 있음: 12
A formally verified validator for classical planning problems and solutions
M Abdulaziz, P Lammich
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
재정 지원 요구사항 정책: German Research Foundation
An Isabelle/HOL formalisation of Green’s theorem
M Abdulaziz, LC Paulson
Journal of Automated Reasoning 63, 763-786, 2019
재정 지원 요구사항 정책: German Research Foundation, European Commission
Formally verified algorithms for upper-bounding state space diameters
M Abdulaziz, M Norrish, C Gretton
Journal of Automated Reasoning 61, 485-520, 2018
재정 지원 요구사항 정책: German Research Foundation
Exploiting Symmetries by Planning for a Descriptive Quotient.
M Abdulaziz, M Norrish, C Gretton
IJCAI, 1479-1486, 2015
재정 지원 요구사항 정책: Australian Research Council
Verified over-approximation of the diameter of propositionally factored transition systems
M Abdulaziz, C Gretton, M Norrish
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
재정 지원 요구사항 정책: Australian Research Council
Formally verified solution methods for Markov decision processes
M Schäffeler, M Abdulaziz
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15073 …, 2023
재정 지원 요구사항 정책: German Research Foundation
A verified compositional algorithm for ai planning
M Abdulaziz, C Gretton, M Norrish
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
재정 지원 요구사항 정책: German Research Foundation
Formal Semantics and Formally Verified Validation for Temporal Planning
M Abdulaziz, L Koller
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9635-9643, 2022
재정 지원 요구사항 정책: German Research Foundation
Computing plan-length bounds using lengths of longest paths
M Abdulaziz, D Berger
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11709 …, 2021
재정 지원 요구사항 정책: German Research Foundation
Plan-length bounds: Beyond 1-way dependency
M Abdulaziz
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7502-7510, 2019
재정 지원 요구사항 정책: German Research Foundation
Mechanising theoretical upper bounds in planning
M Abdulaziz, C Gretton, M Norrish
Workshop on Knowledge Engineering for Planning and Scheduling, 2014
재정 지원 요구사항 정책: Australian Research Council
Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work
M Abdulaziz, F Pommerening, AB Corrêa
ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning …, 2022
재정 지원 요구사항 정책: Swiss National Science Foundation, German Research Foundation, European …
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.