Reachability analysis for timed automata using max-plus algebra (Q444476): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 15A80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P05
@@ Property / Mathematics Subject Classification ID: 68P05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065757
@@ Property / zbMATH DE Number: 6065757 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed automaton
@@ Property / zbMATH Keywords: timed automaton / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time model checking
@@ Property / zbMATH Keywords: real-time model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data structure
@@ Property / zbMATH Keywords: data structure / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+max-plus algebra
@@ Property / zbMATH Keywords: max-plus algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+max-plus polyhedron
@@ Property / zbMATH Keywords: max-plus polyhedron / rank @@
+Normal rank

Revision as of 01:50, 30 June 2023