Hello I have a question about UPPAAL action for using time condition as below. Suppose we have two states (as shown in attached picture). How is UPPAAL timingstu_comp
... One more thing: normal distribution has two tails which are infinite (in principle), so your Normal(4.0,1.0) may generate negative values which will breakmarius.mikucionis
2017-11-16 14:49 GMT+01:00 yooway@... [uppaal] < ... Dear Yuhui, In short: it works, it's just you are using probability estimation queries which aremarius.mikucionis
The tool is developed in collaboration between the Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark. For more information about UPPAAL see the web site.
This email list is intended for open discussions of UPPAAL related issues. To avoid spam, messages from new members are moderated.
- Nov 15, 2000
- This is a public group.
- Attachments are permitted.
- Members cannot hide email address.
- Listed in Yahoo Groups directory.
- Membership does not require approval.
- Messages from new members require approval.
- All members can post messages.