Specification and counterexample generation for cyber-physical systems
Saved in:
Published in | Soft computing (Berlin, Germany) |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
31.07.2024
|
Online Access | Get full text |
Cover
Loading…
ISSN: | 1432-7643 1433-7479 |
---|---|
DOI: | 10.1007/s00500-024-09793-x |