Login / Signup
Marco Daniele
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
Marco Daniele
,
Paolo Traverso
,
Moshe Y. Vardi
Strong Cyclic Planning Revisited.
ECP
(1999)
Marco Daniele
,
Fausto Giunchiglia
,
Moshe Y. Vardi
Improved Automata Generation for Linear Temporal Logic.
CAV
(1999)