Linear temporal logic to Büchi automaton: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

12 February 2024

  • curprev 00:5300:53, 12 February 2024 imported>BD2412 m 21,202 bytes +21,202 clean up spacing around commas and other punctuation fixes, replaced: ,W → , W, ,a → , a, ,f → , f (6), ,i → , i (2), ,j → , j, ,q → , q (2)
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Linear_temporal_logic_to_Büchi_automaton"