"Inter-triggering hybrid automata: a formalism for responsibility-sensitive ..."

Necmiye Ozay (2020)

Details and statistics

DOI: 10.1145/3365365.3383470

access: closed

type: Conference or Workshop Paper

metadata version: 2022-12-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics