Content available in repository
Content available in repository
Search results
-
2024
Comparing Implementations of Explainable Artificial Intelligence using End-User Evaluations: Protocol for a Systematic Review
Ronckers, M., Conijn, R. & Snijders, C., 13 May 2024, ZappyLab, Inc.Research output: Other contribution › Academic
Open Access -
2021
Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation
Driessen, S., Nucci, D. D., Monsieur, G., Tamburri, D. A. & Heuvel, W.-J. V. D., 17 Feb 2021Research output: Other contribution › Academic
File430 Downloads (Pure) -
2020
Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency: Proceedings of the 14th International Workshop on the Algorithmic Foundations of Robotics (WAFR 20)
Afshani, P., de Berg, M. T., Buchin, K. A., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H.-T., 2020, 25 p. Cornell University.Research output: Other contribution › Academic