Cited By
View all- Belardinelli FJamroga WMalvone VMittelmann MMurano APerrussel LPelachaud CTaylor MFaliszewski PMascardi V(2022)Reasoning about Human-Friendly Strategies in Repeated Keyword AuctionsProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3535859(62-71)Online publication date: 9-May-2022
- Du DCavalcanti ANie J(2022)RoboSimVer: A Tool for RoboSim Modeling and AnalysisProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3559533(1-4)Online publication date: 10-Oct-2022
- Merlo EPinciroli CPanerati JFamelis MBeltrame GAngerer ACiccozzi FMalavolta IWortmann A(2022)Automated extraction and checking of property models from source code for robot swarmsProceedings of the 4th International Workshop on Robotics Software Engineering10.1145/3526071.3527516(47-54)Online publication date: 9-May-2022
- Show More Cited By