SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.

Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek Andrzej Zbrzezny

Published in: ECAI (2023)

Keyphrases

metric temporal logic
case study
decision making
statistical machine translation
strategic planning
databases
neural network
feature selection
competitive environment
data sets
real world
machine learning
website
knowledge management
short and long term