search result

Cover von Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15943
Media group: MONOGRAPHIE
Cover von NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16 - 18, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 10227
Media group: MONOGRAPHIE
Cover von DNN Verification, Reachability, and the Exponential Function Problem

DNN Verification, Reachability, and the Exponential Function Problem

Year: 2023
Media group: LIPIcs
Cover von Even Faster Conflicts and Lazier Reductions for String Solvers
article in LNCS 13372, CAV 2022
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 13372 : article
Media group: ARTICLE
Cover von Robust Mean Estimation by All Means (Short Paper)

Robust Mean Estimation by All Means (Short Paper)

Author: Saikawa, Takafumi; Schürmann, Carsten
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0