Thomas Cochard, David Gouyon, Jean-François Pétin. Generation of safe operation sequences using iterative refinements and abstractions of timed automata. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.