Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
modulo functionals » models functionals, model functional, models functional
processing modulo » processing module, processing modules, processing models
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
modulo functionals » models functionals, model functional, models functional
processing modulo » processing module, processing modules, processing models
function https » functions https, fiction https
1
Published 2015
Table of Contents:
“... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Disjoint NP-Pairs -- Symbolic Reachability Analysis of Higher-Order Context-Free Processes -- Optimal...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”View full text
Electronic
eBook