Cited By
View all- Kupferman OVardi G(2024)Perspective GamesACM Transactions on Computational Logic10.1145/362770525:1(1-26)Online publication date: 17-Jan-2024
- Kupferman OVardi GBouyer P(2019)Perspective gamesProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470160(1-13)Online publication date: 24-Jun-2019
- Bansal SNamjoshi KSa'ar Y(2019)Synthesis of coordination programs from linear temporal specificationsProceedings of the ACM on Programming Languages10.1145/33711224:POPL(1-27)Online publication date: 20-Dec-2019
- Show More Cited By