Published July 18, 2025
| Version pub/dissertation-nalbach
Software
Open
ths-rwth/smtrat: pub/dissertation-nalbach
Creators
- Gereon Kremer
- Jasper Nalbach1
- Florian Corzilius2
- Sebastian Junges3
- ValentinPromies
- Matthias Volk4
- MartaGr
- HyPro project5
- Johannes Neuhaus
- Koubska
- Stefan Schupp
- Andreas Krüger
- RHaehn
- Henrich Lauko6
- Wanja Hentze
- philippe-specht
- Carsten Perkampus
- Barsha Zaman
- oemer42
- Netz
- aleksandar-timanov
- malteneuss
- Raoul7
- HilKai
- 1. Theory of Hybrid Systems group @ RWTH
- 2. Theory of Hybrid Systems - RWTH Aachen University
- 3. Radboud University
- 4. Eindhoven University of Technology
- 5. RWTH Aachen University
- 6. Trail of Bits
- 7. Runtime Verification
Description
No description provided.
Files
ths-rwth/smtrat-pub/dissertation-nalbach.zip
Files
(341 Bytes)
| Name | Size | Download all |
|---|---|---|
|
md5:7b5b228bb6f09347eff76ba75d51c676
|
341 Bytes | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ths-rwth/smtrat/tree/pub/dissertation-nalbach (URL)
Software
- Repository URL
- https://github.com/ths-rwth/smtrat