Program synthesis
相关论文数: 9
顶级研究者
最高引用论文
Interactive Program Synthesis by Augmented Examples
Tianyi Zhang, London Lowmanstone, Xinyu Wang, Elena L. Glassman
引用数: 54 • 2020
Learning higher-order logic programs through abstraction and invention
Andrew Cropper, Stephen Muggleton
引用数: 41 • 2016
Automatic synthesis of action programs for intelligent robots
Vasiliy Osipov
引用数: 28 • 2016
Synthesis of Surveillance Strategies via Belief Abstraction
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
引用数: 26 • 2018
Automatic program synthesis from example problems
Laurent Siklóssy, David A. Sykes
引用数: 21 • 1975
SynKit: LTL Synthesis as a Service
Alberto Rivas, Christian Muise, Jorge A. Baier, Sheila A. McIlraith
引用数: 12 • 2018
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Kai Engelhardt, Ron van der Meyden, Yoram Moses
引用数: 11 • 2000
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications
Zengjie Zhang, Sofie Haesaert
引用数: 8 • 2023
Formal Verification Based Synthesis for Behavior Trees
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
引用数: 2 • 2023