Oscar Lindvall Bulancea

Identifiers

• name variant Oscar Lindvall Bulancea 0.60 · backfill

Papers (1)

1. Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings cs.SY · 2018 · author #1

Mentions

• 1804.04280 #1 · arxiv_oai · confidence 0.70 Oscar Lindvall Bulancea

Frequent Coauthors

• Necmiye Ozay 1 shared papers
• Petter Nilsson 1 shared papers