Estimating infinitesimal generators of stochastic systems with formal error bounds (Q6120678): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/3447928.3456660
+Normal rank
@@ Property / OpenAlex ID @@
+W3158907446
@@ Property / OpenAlex ID: W3158907446 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability analysis for stochastic hybrid systems: a survey
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6120678