Ulises Torrella

Cool, thanks! Perhaps I can help out in the implementation, I'm new to the project but with some guidelines I might be of help. Let me know!

Hi! I haven't had much time yet to check them out but thanks for the pointers. I'll come back here after I read the code in case of any question....

Hi! I've been reading the code. What I understand is that if I run my prop with the `--purescheds` flag the model checker uses the `DeterministicSchedsParetoExplorer` which uses `SparseMdpPrctlModelChecker` that...

Hi, thanks for the reading material. Reading about pure schedulers I see that for my purpose I should be using simple strategies. In that case should I continue with the...

Hey, at the end Tim was right, `--purescheds` didn't scale good enough for my MDPs, so I've been trying to work it out for the pcaa. I opened a PR,...

Hey I've just tried to replicate this issue and seems to be solved. **Perhaps the issue can be closed.** How I tried to replicate the error: I ran on the...

Hi! I tried to replicate this error in Scala212, Scala213 and Scala3 with the following script: ``` import cats._ type A = String // tried also with Int, List[Int] //...

Hey! I've been improving the code and making it work for every scenario I need it, checked it out with some examples in the repo and I think is ok....

Hi, I removed the leftover comments thanks for pointing that out. I guess if more checkresults types would implement scheduler export it would make sense to have hasScheduler in the...

I've been using this branch and I found a slight change in the MDP that brakes the code. I'll try to fix it when I have some time.