temporal_logic_mtl 0.1.0 copy "temporal_logic_mtl: ^0.1.0" to clipboard
temporal_logic_mtl: ^0.1.0 copied to clipboard

Published 8 months ago • verified publishercaph.jp• Latest: 0.2.0
SDKFlutter
PlatformAndroidiOSLinuxmacOSwebWindows
→

Metadata

Metric Temporal Logic (MTL) extensions for temporal_logic_core.

More...

0.1.0 #

  • Initial release.
  • Introduces Metric Temporal Logic (MTL) capabilities.
  • Defines TimeInterval for specifying time bounds.
  • Provides timed temporal operators: EventuallyTimed, AlwaysTimed, UntilTimed.
  • Includes evaluateMtlTrace function for evaluating LTL and MTL formulas against timed traces.
  • Depends on temporal_logic_core for base formula structures and trace representation.

← Metadata

0
likes
140
points
1
downloads

Publisher

verified publishercaph.jp

Weekly Downloads

Metadata

Metric Temporal Logic (MTL) extensions for temporal_logic_core.

Homepage
Repository (GitHub)
View/report issues

Documentation

API reference

License

MIT (license)

Dependencies

flutter, meta, temporal_logic_core

More

Packages that depend on temporal_logic_mtl

Back