386 citations
- Slovak Academy of SciencesSK18 papers
- Uppsala UniversitySE10 papers
- Czech Academy of Sciences, Astronomical InstituteCZ8 papers
- Charles UniversityCZ6 papers
- Institute of Physics of the Slovak Academy of SciencesSK6 papers
- Stony Brook UniversityUS6 papers
- University of ViennaAT6 papers
- Max Planck Institute for Solid State ResearchDE5 papers
- P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU5 papers
- Czech Academy of SciencesCZ4 papers
- Imperial College LondonGB4 papers
- University of EdinburghGB4 papers
Showing 2012 · cs.FLShow all
2 papers · 2 filters
cs.FL2012★ 22 cited
Binary equality sets are generated by two words
Štěpán Holub
We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different le…
cs.FL2012
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Tomáš Brázdil, Antonín Kučera, Petr Novotný +1
We consider the problem of computing the value and an optimal strategy for minimizing the expected termination time in one-counter Markov decision processes. Since the value may be…