Follow
Alice Petrov
Alice Petrov
University of Oxford
Verified email at maths.ox.ac.uk
Title
Cited by
Cited by
Year
PARIS: Planning Algorithms for Reconfiguring Independent Sets
R Christen, S Eriksson, M Katz, C Muise, A Petrov, F Pommerening, ...
92023
Automated Planning Techniques for Elementary Proofs in Abstract Algebra
A Petrov, C Muise
ICAPS 2023 Scheduling and Planning Applications Workshop, 2023
12023
Analyzing the Robustness of Open Source Software Ecosystems to the Loss of Contributors: A Case Study
Z Sha, A Petrov, Y Tian, T Hu
Available at SSRN 4082801, 2022
12022
The Essence of de Rham Cohomology
A Petrov
arXiv preprint arXiv:2411.06296, 2024
2024
From State Spaces to Semigroups: Leveraging Algebraic Formalism for Automated Planning
A Petrov, C Muise
ICAPS 2023 Heuristics and Search for Domain-Independent Planning Workshop, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–5