Work

Motion Description Languages and Symbolic Control

Year: 2014

Type: reference-entry

Source: Encyclopedia of Systems and Control

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

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: W4247613491

Cites: 23

Cited by:

Related to: 10