#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1952

2004

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Anton ́n Kucera, Antonı́n Kučera
- 1995

We consider the problem of deciding regularity of normed BPP and normed BPA processes. A process is regular if it is bisimilar to a process with finitely many states. We show, that regularity of normed BPP processes is decidable and we provide a constructive regularity test. We also show, that the same result can be obtained for the class of normed BPA… (More)

- FI MU, Antonín Kucera, Jan Strejcek, Antonı́n Kučera
- 2004

It is known that an LTL property is expressible by an LTL formula without any next-time operator if and only if the property is stutter invariant. It is also known that the problem whether a given LTL property is stutter invariant is PSPACE-complete. We extend these results to fragments of LTL obtained by restricting the nesting depth of the next-time… (More)

- Jiřina Jindřichová, Martina Chytilová, Antonı́n Kučera, Michal Pantucek
- Pracovní lékar̆stvi
- 1952

- ‹
- 1
- ›