Cited By
View all- Buckworth TAlrajeh DKramer JUchitel S(2023)Adapting Specifications for Reactive Controllers2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00012(1-12)Online publication date: May-2023
- Ma'ayan DMaoz SGrundy JPollock LPenta M(2023)Using Reactive Synthesis: An End-to-End Exploratory Case StudyProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00071(742-754)Online publication date: 14-May-2023
- Shalom RMaoz SGrundy JPollock LPenta M(2023)Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?Proceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00030(221-232)Online publication date: 14-May-2023
- Show More Cited By