7.2k citations
- Centre National de la Recherche ScientifiqueFR647 papers
- University of Maryland, College ParkUS599 papers
- Centro Brasileiro de Pesquisas FísicasBR554 papers
- Imperial College LondonGB554 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR546 papers
- University of ZurichCH534 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR507 papers
- CEA Paris-SaclayFR493 papers
- University of KansasUS493 papers
- University College DublinIE488 papers
- Massachusetts Institute of TechnologyUS482 papers
- University of RochesterUS482 papers
Showing 2017 · cs.SEShow all
2 papers · 2 filters
cs.SE2017★ 10 cited
Considerations about Continuous Experimentation for Resource-Constrained Platforms in Self-Driving Vehicles
Federico Giaimo, Christian Berger, Crispin Kirchner
Autonomous vehicles are slowly becoming reality thanks to the efforts of many academic and industrial organizations. Due to the complexity of the software powering these systems an…
cs.SE2017
A storm is Coming: A Modern Probabilistic Model Checker
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen +1
We launch the new probabilistic model checker storm. It features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs. It supports the PRISM and JA…