Work

Motion Description Languages and Symbolic Control

Year: 2019

Type: reference-entry

Source: Encyclopedia of Systems and Control

DOI: 10.1007/978-1-4471-5102-9_155-2

Author: Sean B. Andersson

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

OpenAlex ID: W2223622020

Cites: 29

Cited by:

Related to: 10