Work

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Year: 2013

Type: article

Source: ACM Transactions on Embedded Computing Systems

DOI: 10.1145/2465787.2465797

Authors: Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta

Institutions: Arizona State University, University of Colorado Boulder, NEC (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Division of Computer and Network Systems

Award: G1401686598

OpenAlex ID: W2172184261

FWCI: 7.748

Cites: 70

Cited by: 165

Related to: 10