Alice Petrov

Joined

March 2023

Names

Alice Petrov (Preferred)

Emails

****@queensu.ca (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

MS student

Mathematics, University of Oxford (ox.ac.uk)

2023 – 2024

Undergrad student

Computing, Queen's University (queensu.ca)

2018 – 2023

Advisors, Relations & Conflicts

Coauthor

Christian Muise

2021 – 2023

Expertise

No areas of expertise listed

Publications

Automated Planning Techniques for Elementary Proofs in Abstract Algebra
Alice Petrov, Christian Muise
- ICAPS SPARK 2023
- Readers: Everyone
From State Spaces to Semigroups: Leveraging Algebraic Formalism for Automated Planning
Alice Petrov, Christian Muise
- Published: 15 Jun 2023, Last Modified: 05 Jul 2023
- ICAPS HSDIP 2023
- Readers: Everyone
PARIS: Planning Algorithms for Reconfiguring Independent Sets
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
- Published: 15 Jun 2023, Last Modified: 29 Jun 2023
- ICAPS HSDIP 2023
- Readers: Everyone

Co-Authors