MascotSDS tagshttps://gitlab.rts.mpi-sws.org/kmallik/mascotsds/-/tags2021-10-08T11:55:08Zhttps://gitlab.rts.mpi-sws.org/kmallik/mascotsds/-/tags/v1.2.1v1.2.12021-10-08T11:55:08Zrychhyou@example.comhttps://gitlab.rts.mpi-sws.org/kmallik/mascotsds/-/tags/v1.2v1.22021-10-07T15:16:33Zrychhyou@example.comhttps://gitlab.rts.mpi-sws.org/kmallik/mascotsds/-/tags/v1.1v1.1<p data-sourcepos="1:1-1:20" dir="auto">New in this version:</p>
<ul data-sourcepos="3:1-4:114" dir="auto">
<li data-sourcepos="3:1-3:97">Supports specifications given as Rabin automata whose alphabets are given over the state space.</li>
<li data-sourcepos="4:1-4:114">Supports GR1 specifications, with the possibility of the GR1 fixpoint being solved parallelly (requires OpenMP).</li>
</ul>2021-05-09T11:19:10ZKaushik Mallikhttps://gitlab.rts.mpi-sws.org/kmallik/mascotsds/-/tags/v1.0v1.0<p data-sourcepos="1:1-1:25" dir="auto">Features of this version:</p>
<ul data-sourcepos="3:1-4:100" dir="auto">
<li data-sourcepos="3:1-3:162">Supports discrete-time stochastic dynamical system whose nominal dynamics is mixed-monotone, and the corresponding decomposition function is available as input.</li>
<li data-sourcepos="4:1-4:100">Supports specifications of the form (GF & G!) where and are given predicates over the state space.</li>
</ul>2021-05-09T11:09:20ZKaushik Mallik