Bráulio Marques Horta

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Controller Synthesis

Top Venues

Publications

Bráulio Marques Horta, Juliana de Melo Bezerra, Celso Massaki Hirata
Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns. LADC (2021)