Work

Assume-guarantee contracts and controller synthesis for vehicular traffic networks

Year: 2016

Type: conference-abstract

Source: Proceedings of the ... American Control Conference/Proceedings of the American Control Conference

DOI: 10.1109/acc.2016.7525025

Authors: Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Institution: University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDGs: Industry, innovation and infrastructure, Sustainable cities and communities

Open Access status: closed

OpenAlex ID: W2504939753

Cites:

Cited by:

Related to: 10