The paper SMT-Based Planning Synthesis for DistributedSystem Reconfigurations has been accepted for publication at the FASE 2022 conference. The paper is co-written with Simon Robillard (main author).
The paper SMT-Based Planning Synthesis for DistributedSystem Reconfigurations has been accepted for publication at the FASE 2022 conference. The paper is co-written with Simon Robillard (main author).