Author

Luca Di

h-index 0 View on Semantic Scholar

We have 1 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

for Inﬁnite-State Integer Problems

A mature version of sweap is presented with novel features: a dual abstraction approach that improves its capabilities in proving unrealisability, support for nondeterministic and unbounded updates, more general initialization of variables, and equirealisable reductions for optimisation.

Shaun Azzopardi, Luca Di, Nir P. Iterman · 0 citations