Skip to content

Commit

Permalink
remove old todos
Browse files Browse the repository at this point in the history
  • Loading branch information
Daniel-Runge committed Dec 20, 2024
1 parent 1b2a762 commit 9d4130b
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 2 deletions.
2 changes: 1 addition & 1 deletion report/src/deprecated/02-preliminaries.tex
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ \subsubsection{Key Properties}
\begin{enumerate}
\item The time spent in $s$, known as the dwell time, is exponentially distributed with rate:
\begin{equation}
E(s) = \sum_{s' \in S} R(s, s')\label{eq:exitrate} %%TODO: Should we define DTMCs and then add the definition of the transition function/matrix for CTMCs?
E(s) = \sum_{s' \in S} R(s, s')\label{eq:exitrate}
\end{equation}
\item The probability of transitioning to state $s'$ is given by:
\begin{equation}
Expand Down
1 change: 0 additions & 1 deletion report/src/deprecated/definitions.tex
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
\section{Definitions}\label{sec:definitions}
%TODO: add glossaries for the the terms
\begin{definition}[Markov Chain]
A Markov chain is a tuple $\mathcal{M} = (S, \mathcal{L}, \mathscr{l}, \tau, \pi)$, where:
\begin{itemize}
Expand Down

0 comments on commit 9d4130b

Please sign in to comment.