Skip to content

Fix inverting absolute vs. relative precision for lra#929

Open
tquatmann wants to merge 1 commit into
stormchecker:masterfrom
tquatmann:fix/lra-options
Open

Fix inverting absolute vs. relative precision for lra#929
tquatmann wants to merge 1 commit into
stormchecker:masterfrom
tquatmann:fix/lra-options

Conversation

@tquatmann
Copy link
Copy Markdown
Contributor

Fixes #915

@sjunges
Copy link
Copy Markdown
Contributor

sjunges commented May 12, 2026

Not sure why the tests fail?

@tquatmann
Copy link
Copy Markdown
Contributor Author

The problem seems to be that in at least one of the tests we compute the minimal expected LRA value for a MEC, where the true solution is 0. This is problematic with relative precision, because that essentially means we cannot make approximation errors.

Specifically, the MEC in our case does have positive rewards on some transition, but it contains another (sub-)EC for which all transitions have zero reward.

I'm not sure yet, what to do about this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect option name in Long Run Average Solver Settings

2 participants