Concepedia

Analyzing probabilistic pushdown automata

Tomǎš Brázdil, Javier Esparza, Stefan Kiefer, Antonı́n Kučera

Formal Methods in System Design · 2012 · 45 citations · 29 references

DOIFull text

Open access

Concepts

References

29

Lecture Notes in Computer Science 1205

Industrial Robot the international journal of robotics research and application · 1999 · 38.7K citations

, , +2

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

, , +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

, , +10

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +16

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

, , +9