Author:
Bulancea Oscar Lindvall,Nilsson Petter,Ozay Necmiye
Subject
Control and Systems Engineering
Reference17 articles.
1. Principles of model checking;Baier,2008
2. Formal Methods for Discrete-Time Dynamical Systems;Belta,2017
3. Improving the variable ordering of obdds is np-complete;Bollig;IEEE Trans. Comp,1996
4. Simulated annealing to improve variable orderings for obdds;Bollig;Int’l IWLS,1995
5. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comp,1986
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献