Cited By
View all- Patton NRahmani KMissula MBiswas JDillig I(2024)Programming-by-Demonstration for Long-Horizon Robot TasksProceedings of the ACM on Programming Languages10.1145/36328608:POPL(512-545)Online publication date: 5-Jan-2024
- Segovia-Aguas JJiménez SJonsson A(2024)Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objectsArtificial Intelligence10.1016/j.artint.2024.104097(104097)Online publication date: Mar-2024
- Fleischer MDas DBose PBai WLu KPayer MKruegel CVigna GCalandrino JTroncoso C(2023)ACTORProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620517(5003-5020)Online publication date: 9-Aug-2023
- Show More Cited By