Temporal stream logic: synthesis beyond the Bools

DOI10.1007/978-3-030-25540-4_35arXiv1712.00246OpenAlexW2947784983MaRDI QIDQ6194596

Mark Santolucito, Ruzica Piskac, Felix Klein, Bernd Finkbeiner

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)