Ankündigungen für temporal-logic
temporal-logic – Symbols for Temporal Logics
This package defines functions for rendering temporal operators defined in Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Metric First-order Temporal Logic (MFOTL), and the Counting Metric First-order Temporal Binding Logic (CMFTBL). The package defines various functions with variants in order to include or omit optional parameters of the operators like the optional interval.
Paket | temporal-logic |
Version | 1.0 2024-10-17 |
Copyright | 2024 Dominik Schmid and Till Schallau |
Betreuer | Dominik Schmid |
Atom Atom-1.0-Feed mit Ankündigungen für das Paket temporal-logic.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket temporal-logic.