Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos. PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. In 30th IEEE International Requirements Engineering Conference, RE 2022, Melbourne, Australia, August 15-19, 2022. pages 266-267, IEEE, 2022. [doi]
Abstract is missing.