Ivan S. Zapreev

Identifiers

• name variant Ivan S. Zapreev 0.60 · backfill

Papers (1)

1. Optimal Symbolic Controllers Determinization for BDD storage cs.SY · 2018 · author #1

Mentions

• 1803.07369 #1 · arxiv_oai · confidence 0.70 Ivan S. Zapreev

Frequent Coauthors

• Cees Verdier 1 shared papers
• Manuel Mazo Jr 1 shared papers