Oscar Lindvall Bulancea

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Autonomic Systems

Controller Synthesis

Top Venues

Publications

Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ADHS (2018)
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR (2018)