scientific article; zbMATH DE number 1444363

MaRDI QIDQ4953405zbMATH OpenFDO

Authors Andreas Nonnengart

Publication date 21 June 2000

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited in

(3)

• Superposition as a decision procedure for timed automata
• Finite reasons for safety. Parameterized verification by finite model finding
• Superposition modulo linear arithmetic SUP(LA)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953405)