858 followers
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. https://t.co/TldNCJXV1v
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. https://t.co/TldNCJXV1v
#arXiv #cs_LO "HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. (arXiv:1712.00570v1 [cs.LO])" https://t.co/cCFZ8JSasz