Login / Signup
Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns.
Bráulio Marques Horta
Juliana de Melo Bezerra
Celso Massaki Hirata
Published in:
LADC (2021)
Keyphrases
</>
real time
closed loop
multi valued
texture synthesis
end users
decision support
modal logic
control algorithm
automated reasoning
controller synthesis