Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jaroslav Krystul
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Related publications
ProbReach: A Tool for Guaranteed Reachability Analysis of 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
Nash Equilibrium Strategy for Weakly Coupled Large-Scale Stochastic Systems
Transactions of the Society of Instrument and Control Engineers
Analysis of Lactose Metabolism in E.coli Using Reachability Analysis of Hybrid Systems
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
Probabilistic Modular Embedding for Stochastic Coordinated Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Soft-Constrained Stochastic Nash Games for Weakly Coupled Large-Scale Systems
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
Symbolic Representations and Analysis of Large Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
