scientific article; zbMATH DE number 7311251

zbMATH Open1456.68099MaRDI QIDQ5151002FDOQ5151002

Klaus Schneider, Andreas Morgenstern

Publication date: 16 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.11

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (5)

• Title not available (Why is that?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• Enhancing unsatisfiable cores for LTL with information on temporal relevance
• Compositional construction of most general controllers
• Synthesizing robust systems

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Combining linear-time temporal logic with constructiveness and paraconsistency 👍 👎
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking 👍 👎
• Temporal logics for concurrent recursive programs: satisfiability and model checking 👍 👎
• On using temporal logic for refinement and compositional verification of concurrent systems 👍 👎
• Hybrid Systems: Computation and Control 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5151002)