Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

ths-rwth/smtrat: 25.11

20250 citationsOthergreen Open Access

Authors

Jasper Nalbach · Hybrid Instruments (United Kingdom)

Florian Corzilius · RWTH Aachen University

Sebastian Junges · Radboud University Nijmegen

ValentinPromies

Matthias Volk · Eindhoven University of Technology

HyPro project · RWTH Aachen University

Johannes Neuhaus

Abstract

No description provided.

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.17662020

Andreas Krüger

philippe-specht

Carsten Perkampus

aleksandar-timanov

Raoul · Runtime Verification (United States)

ths-rwth/smtrat: 25.11 | Researchclopedia