search

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
http://www.uppaal.org
1 stars 0 forks source link

Defining multiple expressions in min/max estimation queries #266

Open GameMonkey opened 6 months ago

GameMonkey commented 6 months ago

Is your feature request related to a problem? Please describe. Currently, the syntax for min/max estimation is:

Estimate ::= 'E[' SMCBounds ']' '(' ('min:' | 'max:') Expression ')'

However, when I have several values' min or max I want to estimate, I need to run several queries, one for each value I want to estimate.

Describe the solution you'd like I wish the syntax was something along the lines:

Estimate ::= 'E[' SMCBounds ']' '(' ('min:' | 'max:') Expression [, Espression]* ')'

This would same time on executing queries when the SMCBounds for the different expressions are the same.