Spot

spot@lrde.epita.fr
  • 212 discussions

Deadline Extension: On the Effectiveness of Temporal Logics on Finite Traces in AI
by Antonio Di Stasio
2 years, 5 months

[CfP]-Second Call: On the Effectiveness of Temporal Logics on Finite Traces in AI
by Antonio Di Stasio
2 years, 5 months

Bug when checking for automata emptiness in print_hoa()
by Beutner, Raven
2 years, 5 months

[CfP]: On the Effectiveness of Temporal Logics on Finite Traces in AI
by Antonio Di Stasio
2 years, 6 months

Generating unsatisfiable LTL formulae using randltl
by Pert, Charles
2 years, 6 months

Bug report: implication prefix
by Liu, Jason Xinyu
2 years, 7 months

[bug] ltl2tgba gets stuck with this formula
by Jacopo Binchi
2 years, 8 months

Number of states and transitions
by pierreganty@gmail.com
2 years, 8 months

Issue with Debian package signature
by Ocan Sankur
2 years, 8 months

How to identify invalid transitions
by Raven Rothkopf
2 years, 10 months
Results per page: