Výsledky vyhledávání - "Mathematics of computing Probability and statistics Stochastic processes Markov processes"

QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS.

Autoři: SADEGH ESMAEIL ZADEH SOUDJANI ABATE, ALESSANDRO

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-29, 29p

Témata: PROBABILITY theory, MARKOV processes, MATHEMATICAL analysis, MATHEMATICAL functions, DATA analysis

COST PRESERVING BISIMULATIONS FOR PROBABILISTIC AUTOMATA.

Autoři: TURRINI, ANDREA HERMANNS, HOLGER

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-58, 58p

Témata: BISIMULATION, PROBABILISTIC automata, SYSTEMS design, POLYNOMIALS, DECISION making, ALGORITHMS

ANALYSIS OF TIMED AND LONG-RUN OBJECTIVES FOR MARKOV AUTOMATA.

Autoři: GUCK, DENNIS HATEF, HASSAN HERMANNS, HOLGER a další

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-29, 29p

Témata: MACHINE theory, ALGORITHMS, ARCHITECTURE Analysis & Design Language, MODELING languages (Computer science), MARKOV processes, STOCHASTIC processes

MARKOV DECISION PROCESSES WITH MULTIPLE LONG-RUN AVERAGE OBJECTIVES.

Autoři: BRÁZDIL, TOMÁŠ BROŽEK, VÁCLAV CHATTERJEE, KRISHNENDU a další

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-29, 29p

Témata: MARKOV processes, DECISION making, MULTIPLES (Mathematics), CONFIRMATION (Logic), INFINITY (Mathematics), POLYNOMIAL time algorithms

BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA.

Autoři: LEI SONG LIJUN ZHANG GODSKESEN, JENS CHR. a další

Zdroj: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-34, 34p, 6 Diagrams, 1 Chart

MARKOV TWO-COMPONENTS PROCESSES.

Autoři: ABBES, SAMY

Zdroj: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-34, 34p, 3 Diagrams