Calvin Chau: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Calvin |Nachname=Chau |Forschungsgruppe=Verifikation und formale quantitative Analyse |Stellung=Doktorand |Ehemaliger=0 |Email=calvin.chau@tu-dresden.de |Raum=APB 3004 |Bild=5L0A6728.jpg |DBLP=https://dblp.org/pid/269/9591.html |Google Scholar=https://scholar.google.de/citations?user=Or7wz3wAAAAJ |Alternative URI=https://calvin-chau.com/ |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
|Email=calvin.chau@tu-dresden.de | |Email=calvin.chau@tu-dresden.de | ||
|Raum=APB 3004 | |Raum=APB 3004 | ||
|Bild= | |Bild=5L0A7935.jpg | ||
|DBLP=https://dblp.org/pid/269/9591.html | |DBLP=https://dblp.org/pid/269/9591.html | ||
|Google Scholar=https://scholar.google.de/citations?user=Or7wz3wAAAAJ | |Google Scholar=https://scholar.google.de/citations?user=Or7wz3wAAAAJ | ||
Version vom 20. Februar 2025, 13:20 Uhr
„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.
Calvin Chau
Doktorand Verifikation und formale quantitative Analyse
Neueste Publikationen
Komplette Publikationsliste anzeigen
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
In Jane Hillston and Sadegh Soudjani and Masaki Waga, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996 of Lecture Notes in Computer Science, 1--18, 2024. Springer
Details
Calvin Chau, Jan Křetínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
In André, Étienne and Sun, Jun, eds., Automated Technology for Verification and Analysis, 401--421, 2023. Springer Nature Switzerland
Details
