Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mingzhang Huang
Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Finite-State Machines - Part I
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Stochastic Machines and Probabilistic Automata.
Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices
Computer Science
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Improving Probabilistic Automata Learning With Additional Knowledge
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Proof Systems
BRICS Report Series
Decidable Problems for Probabilistic Automata on Infinite Words
Probabilistic Simple Sticker Systems
