Focusing qualitative simulation using temporal logic: Theoretical foundations

DOI10.1023/A:1018990024350MaRDI QIDQ1383355zbMATH OpenOpenAlexFDO

Authors Giorgio Brajnik, Daniel J. Clancy

Publication date 10 September 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018990024350

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Qualitative simulation
• Temporal Logic Verification Using Simulation
• A dynamic systems perspective on qualitative simulation
• Extending temporal logic to support high-level simulations

Cited in

(3)

• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Temporal Logic Verification Using Simulation
• Qualitative simulation of temporal concurrent processes using time interval Petri nets

This page was built for publication: Focusing qualitative simulation using temporal logic: Theoretical foundations

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