Umang Mathur

icon indicating a website link https://www.comp.nus.edu.sg/~umathur/ icon indicating an email [email protected]

icon company National University of Singapore icon location Singapore icon location Assistant Professor

Results 2 issues of Umang Mathur

Python EF solving

8 comment

Is there support for exists-forall (linear real arithmetic) solving using the Python API? If so, can you please point me to some examples?

Tree automata

I gather that there is support for bottom up tree automata in Ultimate. Is there support for top down and alternating tree automata too?

question
TreeAutomizer
automata library