Work

Approximate Markovian abstractions for linear stochastic systems

Year: 2012

Type: conference-paper

Source: IEEE Conference on Decision and Control (CDC)

DOI: 10.1109/cdc.2012.6426184

Authors: M. Lahijanian, S. B. Andersson, C. Belta

Institution: Boston University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Microsoft Research

OpenAlex ID: W2033966800

FWCI: 0.829

Cites: 22

Cited by: 11

Related to: 10