私の質問は Uppaal で乱数を生成できますか?
値の範囲から数値を生成したいと思います。さらに、整数だけでなく double 値も生成したいと考えています。
例: double [7.25,18.3]
同じことを話しているこの質問を見つけました。私はそれを試してみました。ただし、次のエラーが発生しました: 予期しない T_SELECT 構文エラーです。
うまくいきません。私は Uppaal の世界ではかなり新しいものです。あなたが私に提供できる助けをいただければ幸いです。
よろしく、