Person:234699

Available identifiers

zbMath Open slissenko.anatolWikidataQ25999578 ScholiaQ25999578MaRDI QIDQ234699

List of research outcomes

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/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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anatol Slissenko