Real-Time Synthesis is Hard!

DOI10.1007/978-3-319-44878-7_7zbMath1433.68210arXiv1606.07124OpenAlexW2472811462MaRDI QIDQ4603562

Hsi-Ming Ho, Thomas Brihaye, Gilles Geeraerts, Benjamin Monmege, Nathalie Sznajder, Morgane Estiévenart

Publication date: 16 February 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.07124

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Timed hyperproperties