• NMRDPP

  • Referenced in 4 articles [sw10437]
  • Decision-theoretic planning with non-Markovian rewards. A decision process in which rewards depend ... state is called a decision process with non-Markovian rewards (NMRDP). In decision-theoretic planning ... model than the commonly adopted fully Markovian Decision Process (MDP) model. While the more tractable ... This paper presents NMRDPP (Non-Markovian Reward Decision Process Planner), a software platform...
  • Langevin

  • Referenced in 4 articles [sw21068]
  • Approach: An R Package for Modeling Markov Processes. We describe an R package developed ... test procedures to the data. For Markovian processes involving Gaussian white noise, a stochastic differential...
  • Kpc-toolbox

  • Referenced in 6 articles [sw08537]
  • phase-type distribution (PH) or a Markovian arrival process (MAP). The user provides the input...
  • Bio-PEPAd

  • Referenced in 5 articles [sw10690]
  • PEPAd: a non-Markovian extension of Bio-PEPA. Delays in biological systems may be used ... this paper, we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning ... actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This is a conservative...
  • PALOMA

  • Referenced in 6 articles [sw20778]
  • PALOMA: A process algebra for located Markovian agents. We present a novel stochastic process algebra ... captures multi-class, multi-message Markovian agent models (M2MAM). Here we present the definition...
  • Profido

  • Referenced in 3 articles [sw08536]
  • fitting and modelling of arrival processes. In this paper we present the first version ... ProFiDo emphasising the fitting of Markovian Arrival Processes (MAPs...
  • IBCN

  • Referenced in 3 articles [sw03452]
  • theory applicable to superposed, time-reversible Markovian Rate Process are given. These refer...
  • Butools

  • Referenced in 8 articles [sw14740]
  • processes. BuTools is a collection of useful tools for Markovian performance evaluation...
  • EvolFMC

  • Referenced in 1 article [sw00256]
  • Monte Carlo technique based on the Markovian process. The program solves the DGLAP-type evolution...
  • LISPACK

  • Referenced in 1 article [sw33632]
  • recursive elimination to define the large Markovian process, its restructuring, and efficient solution. The analysis...
  • LISA

  • Referenced in 1 article [sw33631]
  • definition, analysis and resolution of Markovian processes: Symbolic and inductive techniques. This paper presents...
  • TPmsm

  • Referenced in 4 articles [sw22603]
  • inconsistent if the process is non-Markovian. The development of the R package TPmsm...
  • ScenTrees.jl

  • Referenced in 1 article [sw33838]
  • process and a scenario lattice for Markovian data processes. In extension, it also provides users...
  • mapfit

  • Referenced in 1 article [sw36795]
  • phase-type distribution (PH) and Markovian arrival process (MAP) from empirical data (point and grouped...
  • CARMA

  • Referenced in 5 articles [sw20777]
  • CARMA: Collective adaptive resource-sharing Markovian agents. In this paper we present CARMA, a language ... collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed...
  • WebSPN

  • Referenced in 2 articles [sw14798]
  • modeling tool for the anaysis of non-Markovian Stochastic Petri Nets (SPN). This tool, called ... stochastic behavior of the marking process which results in the possibility to analyze a wider...
  • BisimDist

  • Referenced in 1 article [sw33110]
  • Library: Efficient Computation of Bisimilarity Distances for Markovian Models. This paper presents a library ... between Markov chains and between Markov decision processes. These are distances that measure the behavioral...
  • MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • Calculus for Services. MarCaSPiS is the markovian extension of CaSPiS (Calculus of Sessions and Pipelines ... verification of assumptions on resources and processes in a system at the logical level...
  • stochasticGEM

  • Referenced in 1 article [sw25182]
  • susceptibility. In real-life epidemics the infection process is unobserved, and the data consists ... epidemic model, namely the stochastic SIR with Markovian and nonMarkovian infectious periods. The estimation...
  • COLAMD

  • Referenced in 28 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...