Work

Compositional abstraction refinement for control synthesis

Year: 2017

Type: article

Source: Nonlinear Analysis Hybrid Systems

DOI: 10.1016/j.nahs.2017.10.006

Authors: Pierre-Jean Meyer, Dimos V. Dimarogonas

Institution: KTH Royal Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Stiftelsen för Strategisk Forskning, Vetenskapsrådet, Horizon 2020 Framework Programme

OpenAlex ID: W2768422353

FWCI: 1.586

Cites: 39

Cited by: 15

Related to: