Latticed-LTL Synthesis in the Presence of Noisy Inputs

DOI10.1007/978-3-642-54830-7_15zbMath1405.68178OpenAlexW115511666MaRDI QIDQ5410675

Orna Kupferman, Shaull Almagor

Publication date: 16 April 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_15

Mathematics Subject Classification ID

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

Related Items

Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Inherent Vacuity in Lattice Automata ⋮ ``Most of leads to undecidability: failure of adding frequencies to LTL ⋮ Bidirectional nested weighted automata