Old Web
English
Sign In
Acemap
>
Paper
>
Approximate Symbolic Reachability of Networks of Transition Systems
Approximate Symbolic Reachability of Networks of Transition Systems
2007
Sudeep Juvekar
Ankur Taly
Varun Kanade
Supratik Chakraborty
Keywords:
Transition system
Combinatorics
Binary decision diagram
Discrete mathematics
Symbolic trajectory evaluation
Reachability
Mathematics
Algebra
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
9
References
1
Citations
NaN
KQI
[]