ResearcherID Thomson Reuters  

Kučera, Antonín
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: G-5866-2013
URL: http://www.researcherid.com/rid/G-5866-2013
Publons: https://publons.com/a/1464097
ORCID: http://orcid.org/0000-0002-6602-8028
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  8  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
 Author(s): Kucera, A.; Mayr, R.
 Source: Journal of Computer and System Sciences Volume: 91 Pages: 82-103 Published: 2018
 Times Cited: 0
 DOI: 10.1016/j.jcss.2017.09.004
added
31-Oct-17
2.  Title: Trading performance for stability in Markov decision processes
 Author(s): Brazdil, T.; Chatterjee, K.; Forejt, V.; et al.
 Source: Journal of Computer and System Sciences Volume: 84 Pages: 144-170 Published: 2017
 Times Cited: 1
 DOI: 10.1016/j.jcss.2016.09.009
added
29-Dec-16
3.  Title: Trading performance for stability in Markov decision processes
 Author(s): Brazdil, T.; Chatterjee, K.; Forejt, V.; et al.
 Source: Journal of Computer and System Sciences Volume: 84 Pages: 144-170 Published: 2017
 Times Cited: 1
 DOI: 10.1016/j.jcss.2016.09.009
added
30-Dec-16
4.  Title: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
 Author(s): Korenciak, L.; Kucera, A.; Rehak, V.; et al.
 Source: 2016 Ieee 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Pages: 367-372 Published: 2016
 Times Cited: 0
 DOI: 10.1109/mascots.2016.34
added
02-Feb-17
5.  Title: Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
 Author(s): Brazdil, T.; Kucera, A.; Novotny, P.
 Source: Automated Technology for Verification and Analysis, Atva 2016 Volume: 9938 Pages: 32-49 Published: 2016
 Times Cited: 1
 DOI: 10.1007/978-3-319-46520-3_3
added
02-Feb-17
6.  Title: Cobra: A Tool for Solving General Deductive Games
 Author(s): Klimos, M.; Kucera, A.
 Source: Logic for Programming, Artificial Intelligence, and Reasoning Volume: 9450 Pages: 31-47 Published: 2015
 Times Cited: 0
 DOI: 10.1007/978-3-662-48899-7_3
added
17-Jun-16
7.  Title: Long-Run Average Behaviour of Probabilistic Vector Addition Systems
 Author(s): Brazdil, T.; Kiefer, S.; Kucera, A.; et al.
 Source: 2015 30th Annual Acm/Ieee Symposium on Logic in Computer Science Pages: 44-55 Published: 2015
 Times Cited: 0
 DOI: 10.1109/lics.2015.15
added
01-Sep-16
8.  Title: Long-Run Average Behaviour of Probabilistic Vector Addition Systems
 Author(s): Brazdil, T.; Kiefer, S.; Kucera, A.; et al.
 Source: 2015 30th Annual Acm/Ieee Symposium on Logic in Computer Science Pages: 44-55 Published: 2015
 Times Cited: 0
 DOI: 10.1109/lics.2015.15
added
09-Sep-16
9.  Title: Runtime analysis of probabilistic programs with unbounded recursion
 Author(s): Brazdil, T.; Kiefer, S.; Kucera, A.; et al.
 Source: Journal of Computer and System Sciences Volume: 81 Issue: 1 Pages: 288-310 Published: 2015
 Times Cited: 1
 DOI: 10.1016/j.jcss.2014.06.005
added
23-Oct-14
10.  Title: Branching-time model-checking of probabilistic pushdown automata
 Author(s): Brazdil, Tomas; Brozek, Vaclav; Forejt, Vojtech; et al.
 Source: Journal of Computer and System Sciences Volume: 80 Issue: 1 Pages: 139-156 Published: FEB 2014
 Times Cited: 1
 DOI: 10.1016/j.jcss.2013.07.001
added
19-Nov-13
publication(s)  
First Page Previous Page Page   of  8  Go Next Page Last Page
  Sort by:    Results per page: