Work

Probabilistic reachability of discrete-time nonlinear stochastic systems

Year: 2026

Type: article

Source: Automatica

DOI: 10.1016/j.automatica.2026.113063

Authors: Zishun Liu, Saber Jafarpour, Yongxin Chen

Institutions: Georgia Institute of Technology, University of Colorado Boulder

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Air Force Office of Scientific Research

Awards: G6100756542, Scalable Robot Validation and Data Creation with Compositional Generative Simulation, Graphical Optimal Transport: Theory, Algorithms, and Applications

OpenAlex ID: W4403667113

FWCI: 7.12

Cites: 23

Cited by: 6

Related to: 10