Results 241 to 250 of about 1,197,742 (268)

Probabilistic Model Checking and Autonomy

Annual Review of Control, Robotics, and Autonomous Systems, 2022
Marta Kwiatkowska, Gethin J Norman, David Parker   +2 more
exaly  

Model Checking

1997
  +4 more sources

Stochastic Model Checking

2006
openaire   +2 more sources

Software model checking

ACM Computing Surveys, 2009
Ranjit Jhala, Rupak Majumdar
exaly  

Symmetry in temporal logic model checking

ACM Computing Surveys, 2006
Alice Miller, Alastair Donaldson, Muffy Calder   +2 more
exaly  

A guide to Bayesian model checking for ecologists

Ecological Monographs, 2018
Paul B Conn, Devin S Johnson, Perry J Williams   +2 more
exaly  

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

IEEE Transactions on Fuzzy Systems, 2015
Yongming Li
exaly  

Model Checking

2016
Bolpagni M., Mastrolembo Ventura S
openaire   +3 more sources

Multi-valued symbolic model-checking

ACM Transactions on Software Engineering and Methodology, 2003
Marsha Chechik, Steve Easterbrook, Arie Gurfinkel   +2 more
exaly  

Linear Temporal Logic Symbolic Model Checking

Computer Science Review, 2011
Kristin Y Rozier
exaly