Falsification of combined invariance and reachability specifications in hybrid control systems (Q1693831): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-017-0241-1
@@ Property / DOI: 10.1007/s10626-017-0241-1 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-017-0241-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2604553089
@@ Property / OpenAlex ID: W2604553089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control and reactive synthesis: a comparative introduction
+Normal rank
@@ Property / cites work @@
+Controller synthesis for safety and reachability via approximate bisimulation
+Normal rank
@@ Property / cites work @@
+Q3224358
@@ Property / cites work: Q3224358 / rank @@
+Normal rank
@@ Property / cites work @@
+Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
+Normal rank
@@ Property / cites work @@
+Falsification of LTL Safety Properties in Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Falsification of temporal properties of hybrid systems using the cross-entropy method
+Normal rank
@@ Property / DOI @@
+.1007/S10626-017-0241-1
@@ Property / DOI: 10.1007/S10626-017-0241-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1693831