Duality for Labelled Markov Processes

Duality for Labelled Markov Processes

Bibliographic Details
Main Authors:	Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Format:	Conference item
Published:	Springer Verlag 2004

Similar Items

Labelled Markov Processes as Generalised Stochastic Relations
by: Mislove, M, et al.
Published: (2007)

Labelled Markov Processes as Generalised Stochastic Relations
by: Mislove, M, et al.
Published: (2007)

Testing semantics: Connecting processes and process logics
by: Pavlovic, D, et al.
Published: (2006)

Testing semantics: Connecting processes and process logics
by: Pavlovic, D, et al.
Published: (2006)

INFINITE ANTICHAINS AND DUALITY THEORIES
by: Lawson, J, et al.
Published: (1988)

Semipullbacks of labelled Markov processes
by: Jan Pachl, et al.
Published: (2021-04-01)

Comparing labelled Markov decision processes
by: Kiefer, S, et al.
Published: (2020)

The Pontryagin duality of compact O-dimensional semi-lattices and its applications /
by: 305083 Hofmann, Karl Heinrich, et al.
Published: (1974)

Trace refinement in labelled Markov decision processes
by: Fijalkow, N, et al.
Published: (2015)

Trace refinement in labelled Markov decision processes
by: Fijalkow, N, et al.
Published: (2020)

Trace refinement in labelled Markov decision processes
by: Fijalkow, N, et al.
Published: (2015)

Trace Refinement in Labelled Markov Decision Processes
by: Nathanaël Fijalkow, et al.
Published: (2020-06-01)

Measuring the probabilistic powerdomain
by: Martin, K, et al.
Published: (2002)

Measuring the probabilistic powerdomain
by: Martin, K, et al.
Published: (2002)

On Process−algebraic Extensions of Metric Temporal Logic
by: Haase, C, et al.
Published: (2010)

Markov chains and unambiguous automata
by: Baier, C, et al.
Published: (2023)

LTL model checking of interval Markov chains
by: Benedikt, M, et al.
Published: (2013)

Chu I: cofree equivalences‚ dualities and −autonomous categories
by: Pavlovic, D
Published: (1997)

Markov Chains and Unambiguous Büchi Automata
by: Kiefer, S, et al.
Published: (2016)

Markov chains and unambiguous Büchi automata
by: Baier, C, et al.
Published: (2016)

Decision Problems for Linear Recurrence Sequences.
by: Ouaknine, J, et al.
Published: (2012)

Some Recent Results in Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2008)

On metric temporal logic and faulty turing machines
by: Ouaknine, J, et al.
Published: (2006)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
by: Ouaknine, J, et al.
Published: (2007)

Safety metric temporal logic is fully decidable
by: Ouaknine, J, et al.
Published: (2006)

Towards a Theory of Time-Bounded Verification.
by: Ouaknine, J, et al.
Published: (2010)

Duality between relaxation and first passage in reversible Markov dynamics: rugged energy landscapes disentangled
by: David Hartich, et al.
Published: (2018-01-01)

Markov decision processes /
by: 352167 White, D. J.
Published: (1993)

The polytope-collision problem
by: Almagor, S, et al.
Published: (2017)

Undecidability of Universality for Timed Automata with Minimal Resources
by: Adams, S, et al.
Published: (2007)

The Semialgebraic Orbit Problem
by: Almagor, S, et al.
Published: (2019)

Undecidability of universality for timed automata with minimal resources
by: Adams, S, et al.
Published: (2007)

On LTL model-checking for low-dimensional discrete linear dynamical systems
by: Karimov, T, et al.
Published: (2020)

First-order orbit queries
by: Almagor, S, et al.
Published: (2020)

Termination of linear loops over the integers
by: Hosseini, M, et al.
Published: (2019)

Nonnegativity problems for matrix semigroups
by: D'Costa, J, et al.
Published: (2024)

Motivating dualities
by: Read, J, et al.
Published: (2018)

The Big-O problem for labelled Markov chains and weighted automata
by: Chistikov, D, et al.
Published: (2020)

Duality and ontology
by: Le Bihan, B, et al.
Published: (2018)

O-minimal invariants for linear loops
by: Almagor, S, et al.
Published: (2018)