Micha Schrader

MS student, Universität Kaiserslautern

Joined

May 2023

Names

Micha Schrader (Preferred)

Emails

****@rptu.de (Confirmed)

,

****@web.de (Confirmed)

,

****@rhrk.uni-kl.de (Confirmed)

Personal Links

Career & Education History

MS student

Universität Kaiserslautern (uni-kl.de)

2021 – Present

Undergrad student

Universität Kaiserslautern (uni-kl.de)

2016 – 2022

Advisors, Relations & Conflicts

Coworker

2021 – 2023

Coauthor

Shuanglong Kan

2020 – 2022

Expertise

No areas of expertise listed

Publications

Complexity of Formal Explainability for Sequential Models
Anthony Widjaja Lin, Micha Schrader, Marvin Künnemann, Pravriti Jaipuriyar
- Submitted to ICLR 2024
- Readers: Everyone
CertiStr: a certified string solver
Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- CPP 2022
- Readers: Everyone
CertiStr: A Certified String Solver (technical report)
Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- CoRR 2021
- Readers: Everyone

Co-Authors