Work

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

Year: 2013

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2013.2246095

Authors: Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray

Institutions: University of Sheffield, California Institute of Technology, University of Pennsylvania

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2020883449

FWCI: 17.14

Cites: 48

Cited by: 150

Related to: 10