Membership-Based Synthesis of Linear Hybrid Automata
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
- Zeleznik, L.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030255398
Argitalpen urtea: 2019
Alea: 11561 LNCS
Orrialdeak: 297-314
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 9783030255398
Argitalpen urtea: 2019
Alea: 11561 LNCS
Orrialdeak: 297-314
Mota: Biltzar ekarpena