Work

Probabilistic control from time-bounded temporal logic specifications in dynamic environments

Year: 2012

Type: conference-paper

Source: Proceedings - IEEE International Conference on Robotics and Automation/Proceedings

DOI: 10.1109/icra.2012.6224963

Authors: A. I. Medina Ayala, 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

OpenAlex ID: W2122825054

FWCI: 2.487

Cites: 22

Cited by: 18

Related to: 10