Login / Signup
Juliana Vilela
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Formal Methods
Agent Systems
Top Venues
MWSCAS
</>
Publications
</>
Juliana Vilela
,
Richard Hill
A Bottom-Up, Top-Down Approach to Formal Control Synthesis for Multi-agent Systems.
MWSCAS
(2018)