Issues · Spot / Spot · GitLab

LTL->DPA case where default translation is very bad

#425 · opened Sep 16, 2020 by Alexandre Duret-Lutz
- 0
updated Sep 16, 2020
for ltlsynt parity game solving could stop once the winner of initial state is known

#423 · opened Sep 10, 2020 by Alexandre Duret-Lutz wish
- 0
updated Sep 10, 2020
handling unconstrained I/O in ltlsynt

#415 · opened May 29, 2020 by Alexandre Duret-Lutz wish
- 1
updated May 29, 2020
randaut should learn to generate paralllel transitions

#409 · opened May 07, 2020 by Alexandre Duret-Lutz
- 0
updated May 07, 2020
partial (co-)Büchi realizability

#408 · opened May 07, 2020 by Alexandre Duret-Lutz idea
- 0
updated May 07, 2020
to_parity on Rabin-like automata that are Büchi realizable may still call partial-degeneralization

#407 · opened May 07, 2020 by Alexandre Duret-Lutz
- 2
updated Jul 22, 2020
What should to_parity's reduce_col_deg default be?

#404 · opened May 06, 2020 by Alexandre Duret-Lutz
- 5
updated May 22, 2020
random conjunctions of patterns

#400 · opened Mar 12, 2020 by Alexandre Duret-Lutz wish
- 0
updated Mar 12, 2020
a case when -G -D produce a parity automaton more than twice smaller than -P -D

#397 · opened Jan 15, 2020 by Alexandre Duret-Lutz wish
- 1
updated Jan 16, 2020
stack-overflow during simulation-based reduction

#396 · opened Jan 13, 2020 by Florian Renkin
- 4
updated Aug 05, 2020
formulas with large memory consumption

#395 · opened Dec 15, 2019 by Alexandre Duret-Lutz
- 1
updated Dec 16, 2019
use graphviz layers for interactive display

#394 · opened Nov 28, 2019 by Alexandre Duret-Lutz wish
- 0
updated Nov 28, 2019
LTL->UVW

#389 · opened Jun 06, 2019 by Alexandre Duret-Lutz idea
- 0
updated Jun 06, 2019
postprocessing twice may improve things

#386 · opened Apr 24, 2019 by Alexandre Duret-Lutz wish
- 1
updated Jul 31, 2019
ltl2tgba -G cases that can be improved

#385 · opened Apr 24, 2019 by Alexandre Duret-Lutz rewritings wish
- 1
updated Jul 22, 2020
Enumerate all possibles SCCs/automata of size N

#370 · opened Nov 13, 2018 by Etienne Renault wish
- 0
updated Nov 13, 2018
add acc_cond::is_hyper_rabin() and acc_cond::is_hyper_streett() functions

#369 · opened Nov 07, 2018 by Alexandre Duret-Lutz wish
- 0
updated Nov 07, 2018
a curious case of smaller "unambiguous" automaton

#365 · opened Oct 01, 2018 by Alexandre Duret-Lutz wish
- 0
updated Oct 01, 2018
partition an automaton into safety and liveness

#364 · opened Oct 01, 2018 by Alexandre Duret-Lutz wish
- 1
updated Nov 05, 2018
rewrite LTL/PSL formulas using some pattern matching rule

#356 · opened Jun 15, 2018 by Alexandre Duret-Lutz
- 1
updated Aug 24, 2018

Prev
1
2
3
4
5
6
Next