JakeGinesin comments

Repositories
Issues
Comments

Results 1 comments of


                                            JakeGinesin

Extracting Buchi Automata from PINS

Thanks for your response! For whatever reason, I can't seem to replicate the command you suggested. Here's what I'm getting: ``` $ dve2lts-mc --ltl='[]false' elevator.3.dve --buchi-type=spotba -v dve2lts-mc: LTL semantics:...