Keyword:software tools

Publications
ARCH-COMP25 Category Report: Stochastic Models Alessandro Abate, Omid Akbarzadeh, Henk A.P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding and Mahdieh Zaker In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Development of Open-Source Software Tools for Digital Archaeological Fieldwork Favour Olaoye, Chris Bell and Peter Broklyn EasyChair Preprint 14249
Ideas and Innovation in Intelligence Learning Himanshu Sharma and Shubham Singh EasyChair Preprint 4115