Gianmarco Parretti (Preferred)
Gianmarco Parretti
PhD student, University of Roma "La Sapienza"
Joined
June 2024
Names
Emails
****@diag.uniroma1.it (Confirmed)
****@gmail.com
Personal Links
Career & Education History
PhD student
University of Roma "La Sapienza" (uniroma1.it)
2022 – Present
Advisors, Relations & Conflicts
Expertise
Formal Methods
2022 – Present
Reactive Synthesis
2022 – Present
Planning
2022 – Present
Reasoning About Actions
2022 – Present
Publications
No publications