Ming-Hsien Tsai

Available identifiers

zbMath Open tsai.ming-hsienMaRDI QIDQ832258

List of research outcomes

Publication	Date of Publication	Type
Certified verification for algebraic abstraction	2024-02-01	Paper
\textsc{CoqCryptoLine}: a verified model checker with certified results	2024-01-12	Paper
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5009416	2021-08-04	Paper
Complementing semi-deterministic Büchi automata	2019-09-17	Paper
State of B\"uchi Complementation	2015-01-15	Paper
Büchi Store: An Open Repository of Büchi Automata	2011-05-19	Paper
State of Büchi Complementation	2011-02-11	Paper
Tool support for learning Büchi automata and linear temporal logic	2009-05-27	Paper
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic	2008-04-11	Paper

Research outcomes over time

This page was built for person: Ming-Hsien Tsai