Cited By
View all- Fagiolini ADini GMassa FPallottino LBicchi A(2024)Distributed misbehavior monitors for socially organized autonomous systemsInternational Journal of Robotics Research10.1177/0278364924124281243:14(2145-2182)Online publication date: 1-Dec-2024
- Faqrizal INivon QSalaün GFuria CLopes APlat NGnesi S(2024)Automated Repair of Violated Eventually Properties in Concurrent ProgramsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644383(66-76)Online publication date: 14-Apr-2024
- Thuijsman SReniers M(2024)Supervisory Control for Dynamic Feature Configuration in Product LinesACM Transactions on Embedded Computing Systems10.1145/357964423:5(1-25)Online publication date: 14-Aug-2024
- Show More Cited By