Work

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

Year: 2024

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-60698-4_10

Authors: Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak

Institutions: Washington University in St. Louis, University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: National Science Foundation

Award: Collaborative Research: CPS: Frontier: Computation-Aware Algorithmic Design for Cyber-Physical Systems

OpenAlex ID: W4399032674

FWCI:

Cites: 24

Cited by:

Related to: 10