Showing results 1 to 2 of 2
Accelerating search-based program synthesis using learned probabilistic models Lee, Woosuk; Heo, Kihong; Alur, Rajeev; Naik, Mayur, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.436 - 449, Association for Computing Machinery, 2018-06-18 |
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20 |
Discover