This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 138

Summary: The minimum observation uncertainty is not supported
Product: UPPAAL TRON Reporter: Marius Mikučionis <marius>
Component: ExplorerAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: TRON 1.3.1   
Hardware: PC   
OS: All   
Architecture:

Description Marius Mikučionis 2005-03-17 12:54:46 CET 
The minimum observation uncertainty greater than 0 is not supported 
in the state exploration engine. However it is supported in simulator 
part of TRON, therefore you might get weird effects in testing which 
are not correct.