van Hulst, Allan
- Maximally Permissive Controlled System Synthesis for Modal Logic
2014/08/14 by Allan van Hulst, Michel Reniers, van Hulst, Allan +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering