Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephen Prajna
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Related publications
Vector Barrier Certificates and Comparison Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
TDMA Versus CSMA/CA for Wireless Multihop Communications: A Stochastic Worst-Case Delay Analysis
IEEE Transactions on Industrial Informatics
Control
Systems Engineering
Information Systems
Electronic Engineering
Computer Science Applications
Electrical
Stochastic Perron’s Method and Verification Without Smoothness Using Viscosity Comparison: The Linear Case
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
CAN Database Verification Framework Using UPPAAL
International Journal of Computer Theory and Engineering
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Framework for Convergence and Validation of Stochastic Uncertainty Quantification and Relationship to Deterministic Verification and Validation
International Journal for Uncertainty Quantification
Control
Statistics
Probability
Combinatorics
Simulation
Optimization
Discrete Mathematics
Modeling
Eiffel as a Framework for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Domain-Partitioning Induction Criteria: Worst-Case Bounds for the Worst-Case Based
Theoretical Computer Science
Computer Science
Theoretical Computer Science
The Worst Case for Real Options
Journal of Optimization Theory and Applications
Control
Management Science
Applied Mathematics
Optimization
Operations Research
