Work

Sampling polynomial trajectories for LTL verification

Year: 2021

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/j.tcs.2021.10.024

Authors: Daniel Selvaratnam, Michael Cantoni, J.M. Davoren, Iman Shames

Institutions: The University of Melbourne, Australian National University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Australian Government, Department of Science and Technology, Ministry of Science and Technology, India, University of Melbourne, University of Adelaide, Trusted Autonomous Systems Defence CRC, Defence Science and Technology Group

OpenAlex ID: W3157814552

FWCI: 0.248

Cites: 44

Cited by: 2

Related to: 20