Keyword:Benchmarking

Papers
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata and Zhenya Zhang In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
A Generic Cost Estimating Approach for a Composite Manufacturing Process Assessment Justyna Rybicka, Teresa Purse and Brett Parlour EasyChair Preprint no. 6390
Modeling of Healthcare Facility Maintenance Staff Using Publicly Reported Hospital Metrics Justin Dodd, Jake Smithwick, Steven Call and Dipin V. Kasana In:ASC 2021. 57th Annual Associated Schools of Construction International Conference
Construction Management Teaching Methods and Assignments: Perception versus Reality Robert Coffey and Shima Clarke In:ASC 2021. 57th Annual Associated Schools of Construction International Conference
Performance Indicators of Humanoid Posture Control and Balance Inspired by Human Experiments Vittorio Lippi, Thomas Mergner, Christoph Maurer and Thomas Seel EasyChair Preprint no. 4268
Perception Analysis of Potable Water Service to Users Martha Patricia Hansen Rodríguez, José Manuel Rodríguez Varela, Edgar Antúnez Leyva, Jorge Arturo Casados Prior, Luis Gómez Lugo, Gema Alín Martínez Ocampo and Yenni Laurel Varela In:HIC 2018. 13th International Conference on Hydroinformatics
Experimenting with robotic intra-logistics domains Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son EasyChair Preprint no. 197
GridTPT: a distributed platform for Theorem Prover Testing Thomas Bouton, Diego Caminha B de Oliveira, David Deharbe and Pascal Fontaine In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
A Comparison of Solvers for Propositional Dynamic Logic Ullrich Hustadt and Renate A. Schmidt In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning