Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fedor Shmarov
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Related publications
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems
Analysis of Lactose Metabolism in E.coli Using Reachability Analysis of Hybrid Systems
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Sensitivity Analysis for Linear Systems Based on Reachability Sets
Stochastic Hybrid Systems for Studying Biochemical Processes
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
