References in zbMATH (referenced in 22 articles )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Ebrahimi, Masoud; Sotudeh, Gholamreza; Movaghar, Ali: Symbolic checking of fuzzy CTL on fuzzy program graph (2019)
  2. Shan, Laixiang; Du, Xiaomin; Qin, Zheng: Efficient approach of translating LTL formulae into Büchi automata (2015)
  3. Sotudeh, Gholamreza; Movaghar, Ali: Abstraction and approximation in fuzzy temporal logics and models (2015)
  4. Goré, Rajeev; Thomson, Jimmy: An improved BDD method for intuitionistic propositional logic: BDDIntKt system description (2013)
  5. Micalizio, Roberto: Action failure recovery via model-based diagnosis and conformant planning (2013)
  6. Andersen, Henrik Reif; Hadzic, Tarik; Pisinger, David: Interactive cost configuration over decision diagrams (2010)
  7. Kuijper, Wouter; van de Pol, Jaco: Computing weakest strategies for safety games of imperfect information (2009)
  8. Gorogiannis, Nikos; Hunter, Anthony: Implementing semantic merging operators using binary decision diagrams (2008)
  9. Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice: Hierarchical set decision diagrams and automatic saturation (2008)
  10. Jensen, Rune M.; Veloso, Manuela M.; Bryant, Randal E.: State-set branching: leveraging BDDs for heuristic search (2008)
  11. Plyasunov, Sergey; Arkin, Adam P.: Efficient stochastic sensitivity analysis of discrete event systems (2007)
  12. Xiong, Haiyan; Curzon, Paul; Tahar, Sofiène; Blandford, Ann: Providing a formal linkage between MDG and HOL (2007)
  13. Zhang, Xiangyu; Gupta, Neelam; Gupta, Rajiv: A study of effectiveness of dynamic slicing in locating real faults (2007) ioport
  14. Hymans, Charles: Verification of an error correcting code by abstract interpretation (2005)
  15. Subbarayan, Sathiamoorthy: Integrating CSP decomposition techniques and BDDs for compiling configuration problems (2005)
  16. Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S.: Using datalog with binary decision diagrams for program analysis (2005)
  17. Haddad, Serge; Ilié, Jean-Michel; Klai, Kais: Design and evaluation of a symbolic and abstraction-based model checker (2004)
  18. Edelkamp, S.: Taming numbers and durations in the model checking integrated planning system (2003)
  19. Hill, Patricia M.; Spoto, Fausto: Logic programs as compact denotations. (2003)
  20. Ginsberg, M. L.: GIB: Imperfect information in a computationally challenging game (2001)

1 2 next