This website uses technically necessary cookies to offer the best possible functionality.

Skip to Content Skip to Main Navigation Skip to Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Presentation for UnRAVeL application: Rebecca Haehn

Wednesday, 10.01.2018, 11:00am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

Speaker: Rebecca Haehn

Title: Enhancing CAD by Equational Constraints and Computing Optimal Railway Schedules

In the first part of my talk, I will give an overview of the topic of my master thesis. I will explain how the cylindrical algebraic decomposition method, a decision procedure for real algebra in SMT solving, can be enhanced by using equational constraints. The second part will consist of an outlook on my proposed research in the Research Training Group, the application of satisfiability checking techniques to compute optimal railway schedules under the consideration of uncertainties.

last updated : 12/03/2020