DCSYNTH: Guided Reactive Synthesis with Soft Requirements

27 May 2019 Wakankar Amol Pandya Paritosh K. Matteplackel Rajmohan

In reactive controller synthesis, a number of implementations (controllers) are possible for a given specification because of the incomplete nature of specification. To choose the most desirable one from the various options, we need to specify additional properties which can guide the synthesis... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE