From English to Signal Temporal Logic.

Jie He Ezio Bartocci Dejan Nickovic Haris Isakovic Radu Grosu

Published in: CoRR (2021)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
verification method
computation tree logic
machine translation
belief revision
mazurkiewicz traces
model checker
temporal knowledge
artificial intelligence
domain specific
transition systems