Alex Bork

icon indicating an email [email protected]

icon company @moves-rwth icon location Aachen icon location PhD student at the Software Modeling and Verification Group @ RWTH Aachen University

Results 4 comments of Alex Bork

Parsing schedulers and applying them via the command line

I'm also in a position where that would be a functionality I could need. What's the current status here?

Storm without SMT-Checker

> In an email, we got: > > ``` > BTW, in "general dependencies" you mention z3 as "recommended" but to build > BeliefExplorationPomdpModelCheckerTest.cpp > z3 is indeed required. It...

Newer versions of Intel TBB are incompatible

I'd be in favor. I think it's more worth it to put in the effort with other solutions.

Add interpreter lock release to POMDP check function

Sorry, there was a misunderstanding of the problem on my side. The problem was indeed that the model checker was keeping the interpreter lock, so other processes were not able...