Work

Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes

Year: 2013

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2013.2273300

Authors: Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

Institutions: Delft University of Technology, University of Oxford

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2052701972

FWCI: 2.116

Cites: 19

Cited by: 23

Related to: 10