Model Checking One-clock Priced Timed Automata (Q3518285)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5308847
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model Checking One-clock Priced Timed Automata |
scientific article; zbMATH DE number 5308847 |
Statements
Model Checking One-clock Priced Timed Automata (English)
0 references
7 August 2008
0 references
0.9793744087219238
0 references
0.9197937250137328
0 references
0.8558729290962219
0 references
0.8381853699684143
0 references
0.830964982509613
0 references
