Publications

Export 13 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Vasumathi Raman  [Clear All Filters]
2011
V. Raman and Kress-Gazit, H., Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP, in 23rd International Conference on Computer Aided Verification, 2011, pp. 663-668.