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

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

Metadata

Metric Temporal Logic (MTL) extensions for temporal_logic_core.

More...

0.2.0 #

  • FEAT: Implemented timed Release (R_I) operator.
  • FEAT: Implemented timed WeakUntil (W_I) operator.
  • FEAT: Added tests for ReleaseTimed and WeakUntilTimed operators.
  • FEAT: Added comprehensive tests for boundary conditions in timed operators.
  • FEAT: Added tests for nested MTL formulas.
  • FIX: Refined evaluation logic for timed operators (F_I, G_I, U_I) for correctness and edge cases.
  • TEST: Added tests for core TimedValue, TraceEvent, and Trace classes (temporal_logic_core).

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