scientific article; zbMATH DE number 2084409

MaRDI QIDQ4475175zbMATH OpenFDO

Authors Mark Alexander Reynolds

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2256/22560414.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Synthesis for continuous time
• Synthesis for temporal logic over the reals
• Indiscrete models: model building and model checking over linear time
• scientific article; zbMATH DE number 1182796
• Model checking general linear temporal logic

Cited in

(9)

• Temporal logic motion planning for dynamic robots
• Synthesis for continuous time
• Using finite transducers for describing and synthesising structural time-series constraints
• Indiscrete models: model building and model checking over linear time
• Temporal semantics of compositional task models and problem solving methods
• scientific article; zbMATH DE number 1747155 (Why is no real title available?)
• Continuous Time Modeling in the Behavioral and Related Sciences
• Synthesis for temporal logic over the reals
• The complexity of temporal logic over the reals

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 Q4475175)