Towards the usability of reactive synthesis: Building blocks of temporal logic R Rothkopf, AL Cui, HT Zeng, A Sinha, S Mark Plateau Workshop., 2023 | 3 | 2023 |
Rose: Efficient and Extensible Autodiff on the Web S Estep, R Rothkopf, W Ni, J Sunshine arXiv preprint arXiv:2402.17743, 2024 | | 2024 |
Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis R Rothkopf, HT Zeng, M Santolucito arXiv preprint arXiv:2402.16905, 2024 | | 2024 |
Rose: Extensible Autodiff on the Web R Rothkopf Companion Proceedings of the 2023 ACM SIGPLAN International Conference on …, 2023 | | 2023 |
Towards Reactive Synthesis as a Programming Paradigm L Cui, R Rothkopf, M Santolucito Plateau Workshop, 0 | | |
Towards the Usability of Reactive Synthesis: Mapping TSL Misconceptions to Mitigations L Cui, R Rothkopf | | |