Philipp Marohn

According to our database, Philipp Marohn authored at least 4 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

On the Verification of Parametric Systems.

Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2025

On verification and constraint generation for families of similar hybrid automata.

Viorica Sofronie-Stokkermans, Philipp Marohn

CoRR, May, 2025

2021

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).

Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans

CoRR, 2021

SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).

Philipp Marohn, Viorica Sofronie-Stokkermans

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021