Latticed−LTL Synthesis in the Presence of Noisy Inputs
Shaull Almagor and Orna Kupferman
Book Title
Foundations of Software Science and Computation Structures − 17th International Conference‚ FOSSACS 2014‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2014‚ Grenoble‚ France‚ April 5−13‚ 2014‚ Proceedings
Editor
Anca Muscholl
ISBN
978−3−642−54829−1
Pages
226–241
Series
Lecture Notes in Computer Science
Volume
8412
Year
2014