atao.sourceforge.net
  • Name:  atao.sourceforge.net

 


 

Advertisements:

Freeware Programs: atao.sourceforge.net
 
Download Alternating Timed Automata Solver 1.2.beta

Alternating Timed Automata Solver 1.2.beta  Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz