macros.tex

%%%%%%%%%%%%%%%%%%%%%%%%%% General
\newcommand{\Section}[1]{Section \ref{#1}}

\newcommand{\myi}{(\emph{i})\xspace}
\newcommand{\myii}{(\emph{ii})\xspace}
\newcommand{\myiii}{(\emph{iii})\xspace}
\newcommand{\myiv}{(\emph{iv})\xspace}
\newcommand{\myv}{(\emph{v})\xspace}
\newcommand{\myvi}{(\emph{vi})\xspace}
\newcommand{\myvii}{(\emph{vii})\xspace}
\newcommand{\myviii}{(\emph{viii})\xspace}

%% general math
%\newcommand{\A}{\mathcal{A}} 
\newcommand{\B}{\mathcal{B}}
%\newcommand{\C}{\mathcal{C}} 
\newcommand{\D}{\mathcal{D}}
\newcommand{\E}{\mathcal{E}} \newcommand{\F}{\mathcal{F}}
\newcommand{\G}{\mathcal{G}} \renewcommand{\H}{\mathcal{H}}
\newcommand{\I}{\mathcal{I}} \newcommand{\J}{\mathcal{J}}
\newcommand{\K}{\mathcal{K}} \renewcommand{\L}{\mathcal{L}}
\newcommand{\M}{\mathcal{M}} \newcommand{\N}{\mathcal{N}}
\renewcommand{\O}{\mathcal{O}} \renewcommand{\P}{\mathcal{P}}
\newcommand{\Q}{\mathcal{Q}} \newcommand{\R}{\mathcal{R}}
\renewcommand{\S}{\mathcal{S}} \newcommand{\T}{\mathcal{T}}
\newcommand{\U}{\mathcal{U}} \newcommand{\V}{\mathcal{V}}
\newcommand{\W}{\mathcal{W}} \newcommand{\X}{\mathcal{X}}
\newcommand{\Y}{\mathcal{Y}} \newcommand{\Z}{\mathcal{Z}}

\newcommand{\limp}{\mathbin{\rightarrow}}
\newcommand{\ind}{\hspace*{.18in}}

\newcommand{\cla}[1]{\makebox[0pt]{\hss#1\hss}}
\newcommand{\Once}{%
  \sbox0{$\Diamond$}%
  \usebox0\kern-.5\wd0\cla{\raisebox{.1ex}{\scalebox{.7}[1]{$-$}}}\kern.5\wd0%
}

%% LTL
\newcommand{\Atom}{A}
\newcommand{\Always}{\raisebox{-0.27ex}{$\square$}}
\newcommand{\Next}{\raisebox{-0.27ex}{\LARGE$\circ$}}
\newcommand{\Wnext}{\raisebox{-0.27ex}{\LARGE$\bullet$}}
\newcommand{\lUntil}{\mathop{\U}}
\newcommand{\Yesterday}{\raisebox{-0.27ex}{$\ominus$}}
\newcommand{\Since}{\mathop{\S}}
\newcommand{\Release}{\mathop{\R}}
\newcommand{\Wuntil}{\mathop{\W}}
\newcommand{\true}{\mathit{true}}
\newcommand{\final}{\mathit{Final}}
\newcommand{\false}{\mathit{false}}
\newcommand{\ttrue}{{\mathit{tt}}}
\newcommand{\ffalse}{\mathit{ff}}
\newcommand{\Last}{\mathit{Last}}
\newcommand{\Ended}{\mathit{End}}
\newcommand{\length}{\mathit{length}}
\newcommand{\last}{\mathit{last}}
\newcommand{\End}{\mathit{end}}
\newcommand{\nnf}{\mathit{nnf}}
\newcommand{\BOX}[1]{ [#1]}
\newcommand{\DIAM}[1]{\langle #1 \rangle}
\newcommand{\transl}{f}


%% Logics
\newcommand{\LT}{{\sc lt}$_f$\xspace}
\newcommand{\LTi}{{\sc lt}$_i$\xspace}
\newcommand{\PLTL}{{\sc pltl}\xspace}
\newcommand{\FLTL}{{\sc \$fltl}\xspace}
\newcommand{\FstarLTL}{{\sc \$$^*$fltl}\xspace}
\newcommand{\PL}{{\sc pl}\xspace}
\newcommand{\LTL}{{\sc ltl}\xspace}
\newcommand{\LTLf}{{\sc ltl}$_f$\xspace}
\newcommand{\PLTLf}{{\sc pltl}$_f$\xspace}
\newcommand{\LTLp}{{\sc ltl}p$_f$\xspace}
\newcommand{\LDL}{{\sc ldl}\xspace}
\newcommand{\LDLf}{{\sc ldl}$_f$\xspace}
\newcommand{\RE}{{\sc re}$_f$\xspace}
\newcommand{\REGEX}{{\sc re}\xspace}
\newcommand{\DL}{{\sc dl}\xspace}
\newcommand{\PDL}{{\sc pdl}\xspace}
\newcommand{\PDDL}{{\sc pddl}\xspace}
\newcommand{\FOND}{{\sc fond}\xspace}
\newcommand{\POND}{{\sc pond}\xspace}
\newcommand{\FONDS}{{\sc fond}$_{sp}$\xspace}
\newcommand{\FONDFOR}{{\sc fond}$4$\LTLf/\PLTL}
\newcommand{\FOf}{{\sc fo}$_f$\xspace}
\newcommand{\MSOf}{{\sc mso}$_f$\xspace}
\newcommand{\FO}{{\sc fo}\xspace}
\newcommand{\FOL}{{\sc fol}\xspace}
\newcommand{\MSO}{{\sc mso}\xspace}
%\newcommand{\ATA}{{\sc ata}\xspace}
\newcommand{\AFW}{{\sc afw}\xspace}
\newcommand{\NFA}{{\sc nfa}\xspace}
\newcommand{\DFA}{{\sc dfa}\xspace}
\newcommand{\DFAs}{{\sc dfa}s\xspace}
\newcommand{\GTAs}{{\sc gta}s\xspace}
\newcommand{\declare}{{\sc declare}\xspace}
\newcommand{\wsos}{{\sc ws1s}\xspace}
\newcommand{\wsts}{{\sc ws2s}\xspace}
\newcommand{\bdds}{{\sc bdd}s\xspace}
\newcommand{\bdd}{{\sc bdd}\xspace}
\newcommand{\mls}{{\sc m2l-s}tr\xspace}
\newcommand{\fol}{\mathit{fol}}
\newcommand{\folp}{\mathit{fol_p}}
\newcommand{\f}{\mathit{f}}
%\newcommand{\g}{\mathit{g}}
\newcommand{\re}{\mathit{re}}


\newcommand{\tup}[1]{\langle #1 \rangle}

\newcommand{\Stop}{\mathit{stop}}
\newcommand{\rew}{\mathit{rew}}
\newcommand{\Tr}{\mathit{Tr}}

\newcommand{\LOGSPACE}{{\sc logspace}\xspace}
\newcommand{\NLOGSPACE}{{\sc nlogspace}\xspace}
\newcommand{\PTIME}{{\sc ptime}\xspace}
\newcommand{\NP}{{\sc np}\xspace}
\newcommand{\EXPTIME}{{\sc exptime}\xspace}
\newcommand{\PSPACE}{{\sc pspace}\xspace}
\newcommand{\TWOEXPTIME}{{\sc 2exptime}\xspace}


\newcommand{\expand}{\textbf{\textit{E}}}
\newcommand{\ttt}{{\textbf{\textit{T}}}}
\newcommand{\fff}{{\textbf{\textit{\texttt{F}}}}}

\newcommand{\fstate}{s_f}

\newcommand{\atomize}[1]{\texttt{"}\ensuremath{#1}\texttt{"}}


% misc
\newcommand{\MONA}{{\sc mona}\xspace}
\newcommand{\FLLOAT}{{\sc flloat}\xspace}
\newcommand{\suc}{\textit{succ}\xspace}
\newcommand{\pre}{\textit{prev}\xspace}
\newcommand{\folInter}{$\I = (\Delta^I,\cdot^{\I})$\xspace}
\newcommand{\rcon}{RCon}
\newcommand{\janus}{{\sc janus}\xspace}

%RL
\newcommand{\MDP}{\M}
\newcommand{\States}{S}
\newcommand{\Actions}{A}
\newcommand{\TrFun}{T}
\newcommand{\Reward}{R}
\newcommand{\DiscFact}{\gamma}
\newcommand{\Policy}{\rho}
\newcommand{\ExpRet}{G}
\newcommand{\ValFun}{v}
\newcommand{\qFun}{q}

\newcommand{\ValOptFun}{\ValFun^*}
\newcommand{\qOptFun}{\qFun^*}
\newcommand{\OptPolicy}{\Policy^*}

\newcommand{\ValFunEst}{V}
\newcommand{\qFunEst}{Q}
\newcommand{\LRate}{\alpha}

\newcommand{\NMRDP}{\N}
\newcommand{\NMReward}{\bar{\Reward}}
\newcommand{\NMPolicy}{\bar{\Policy}}

\newcommand{\traj}{\tup{s_0, a_0, \dots, s_{n-1}, a_{n-1}, s_n}}
\newcommand{\trajprime}{\tup{s'_0, a_0, \dots, s'_{n-1}, a_{n-1}, s'_n}}
\newcommand{\projtraj}{\tup{s_0, s_1, \dots, s_n}}
\newcommand{\projtrajprime}{\tup{s'_0, s'_1, \dots, s'_n}}

\newcommand{\MDPagent}{\MDP_{ag}}
\newcommand{\TrFunAgentGoal}{\TrFun_{ag}^{g}}

\newcommand{\bqs}{\mathbf{q}}

%LOGIC

\newcommand{\Prop}{\P}
\newcommand{\PropInt}{\Pi}
\newcommand{\PropFormula}{\phi}
\newcommand{\trace}{\pi}
\newcommand{\Kripke}{\K}
\newcommand{\tm}[1]{\ \text{#1}\ }
\newcommand{\tiff}{\tm{iff}}
\newcommand{\DECLARE}{{\sc declare}\xspace}


\newcommand{\automaton}{\mathcal{A}}
\newcommand{\LLf}{\LTLf/\LDLf}
\newcommand{\DfunSym}{\partial}
\newcommand{\Dfun}[1]{\DfunSym\lparen #1,\PropInt \rparen}
\newcommand{\DfunEps}[1]{\DfunSym\lparen #1, \epsilon\rparen}
\newcommand{\lAND}{\wedge}
\newcommand{\lOR}{\vee}
\newcommand{\NOT}{\lnot}
\newcommand{\regexp}{\varrho}
\newcommand{\TrueDelta}[1]{\textit{\textbf{\texttt{T}}}_{#1}}
\newcommand{\FalseDelta}[1]{\textit{\textbf{\texttt{F}}}_{#1}}
\newcommand{\bOne}{\mathbf{1}}
\newcommand{\bZero}{\mathbf{0}}
\newcommand{\LTS}{{\sc lts}\xspace}
\newcommand{\LDLfToNFA}{{\sc ldl}$_f2$\NFA}
\newcommand{\LTLfToNFA}{{\sc ltl}$_f2$\NFA}
\newcommand{\LDLfToDFA}{{\sc ldl}$_f2$\DFA}
\newcommand{\LTLfToDFA}{{\sc ltl}$_f2$\DFA}
\newcommand{\PLTLToDFA}{{\sc pltl}$2$\DFA}
\newcommand{\LTLfToFOL}{{\sc ltl}$_f2$\FOL}
\newcommand{\PLTLToFOL}{{\sc pltl}$2$\FOL}

\newcommand{\Sapientino}{{\sc sapientino}\xspace}
\newcommand{\Breakout}{{\sc breakout}\xspace}
\newcommand{\Minecraft}{{\sc minecraft}\xspace}

%math

\newcommand{\set}[1]{\{#1\}}
\newcommand{\Naturals}{\mathbb{N}}
\newcommand{\Reals}{\mathbb{R}}
\newcommand{\defeq}{\coloneqq}


%algpseudocode
\algnewcommand\algInput{\textbf{input}}
\algnewcommand\algOutput{\textbf{output}}


%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% save-place: t
%%% End: