Login / Signup
Francisco Palau Romero
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Controller Synthesis
Fuzzy Logic
Real World
Controller Design
Top Venues
SAT
ACC
</>
Publications
</>
Rüdiger Ehlers
,
Francisco Palau Romero
Approximately Propagation Complete and Conflict Propagating Constraint Encodings.
SAT
(2018)
Francisco Palau Romero
,
Rüdiger Ehlers
Steady Abstractions for CPS Controller Synthesis.
ACC
(2018)