Anatol Slissenko

Available identifiers

Publication	Date of Publication	Type
On Entropic Convergence of Algorithms	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5215799	2020-02-13	Paper
The probability nesting game	2013-08-15	Paper
Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday	2011-09-12	Paper
On the complexity of finite memory policies for Markov decision processes	2010-06-17	Paper
A Logic of Probability with Decidable Model Checking	2006-12-04	Paper
Computer Science Logic	2006-11-01	Paper
Periodicity based decidable classes in a first order timed logic	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4824484	2004-11-01	Paper
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4470463	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411831	2003-07-10	Paper
Decidable verification for reducible timed automata specified in a first order logic with time	2002-07-31	Paper
A first order logic for specification of timed algorithms: Basic properties and a decidable class	2002-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q2753701	2002-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4232467	2001-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4934321	2000-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4263951	1999-09-22	Paper
Polytime model checking for times probabilistic computation tree logic	1999-03-29	Paper
On the complexity of partially observed Markov decision processes	1997-02-27	Paper

This page was built for person: Anatol Slissenko