Browse "School of Computing(전산학부)" by Author Alur, Rajeev
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
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989