Extending temporal logic to support high-level simulations

DOI10.1145/210330.210336zbMATH Open0846.68115OpenAlexW2083673874WikidataQ128297207 ScholiaQ128297207MaRDI QIDQ4875975

Alexander Tuzhilin

Publication date: 28 April 1996

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: http://archive.nyu.edu/handle/2451/14255

zbMATH Keywords

temporal logicsimulation language

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Extending temporal logic to support high-level simulations

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