Spremljaj
Calvin Chau
Calvin Chau
PhD Student, TU Dresden
Preverjeni e-poštni naslov na tu-dresden.de - Domača stran
Naslov
Navedeno
Navedeno
Leto
SeQuaiA: A scalable tool for semi-quantitative analysis of chemical reaction networks
M Češka, C Chau, J Křetínský
International Conference on Computer Aided Verification, 653-666, 2020
82020
Syntactic vs semantic linear abstraction and refinement of neural networks
C Chau, J Křetínský, S Mohr
International Symposium on Automated Technology for Verification and …, 2023
42023
Certificates and witnesses for multi-objective queries in markov decision processes
C Baier, C Chau, S Klüppelholz
International Conference on Quantitative Evaluation of Systems and Formal …, 2024
22024
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–3