Open AccessAUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES
Publication year - 2006
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0001217900260033
Subject(s) - computer science , model checking , control engineering , programming language , engineering