Work

Inter-triggering hybrid automata

Year: 2020

Type: conference-paper

Source: International Conference on Hybrid Systems: computation and control

DOI: 10.1145/3365365.3383470

Author: Necmiye Ozay

Institution: University of Michigan

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Youth Science Foundation

Award: G5232464764

OpenAlex ID: W3022878960

FWCI: 0.859

Cites: 2

Cited by: 3

Related to: 10