[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published March 19, 2019 | Version 1.0.0.post0
Software Open

LTLf2DFA

Creators

  • 1. Sapienza University

Description

LTLf2DFA is a tool that transforms an LTLf or a PLTLf formula into a minimal Deterministic Finite state Automaton (DFA) using MONA.

Files

Files (28.0 kB)

Name Size Download all
md5:2579ff9c1df4df59e8a733724ebc2e67
28.0 kB Download

Additional details

Related works

Is supplement to
https://github.com/Francesco17/LTLf2DFA/tree/0.2.2.post0 (URL)