From a6ef24567e40ee2a3e7bd5da8dc077f71b17e873 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 30 May 2015 13:05:11 +0200 Subject: [PATCH] * doc/org/ltlcross.org: Typo. --- doc/org/ltlcross.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org index 836768f27..06a59d2e3 100644 --- a/doc/org/ltlcross.org +++ b/doc/org/ltlcross.org @@ -107,7 +107,7 @@ No problem detected. either state-based acceptance or transition-based acceptance. This output is used for instance by [[http://www.tcs.hut.fi/Software/maria/tools/lbt/][=lbt=]], [[http://web.archive.org/web/20080607170403/http://www.science.unitn.it/~stonetta/modella.html][=modella=]], or =ltl2tgba --lbtt=. These should also be indicated using =%O=. - - Non-alaternating automata in [[file:http://adl.github.io/hoaf/][the HOA format]] with an acceptance + - Non-alternating automata in [[file:http://adl.github.io/hoaf/][the HOA format]] with an acceptance condition that is is generalized-Büchi or inferior. These should also be indicated using =%O=. - [[http://www.ltl2dstar.de/docs/ltl2dstar.html][=ltl2dsar='s format]], which support deterministic Rabin or Streett