"Symbolic Model Checking for Factored Probabilistic Models"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Probabilistic Reliability Models	Igor Ushakov	2012	John Wiley & Sons
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Probabilistic Graphical Models for Computer Vision	Qiang Ji	2020	Academic Press
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Handbook of Probabilistic Models	Dieu Tien Bui; Pijush Samui; Ravinesh Deo andSubrata Chakraborty	2020	Butterworth-Heinemann
Advances in Probabilistic Graphical Models	Peter Lucas; José A. Gámez; Antonio Salmerón Cerdan	2007	Springer Berlin Heidelberg
Probabilistic performance models of language	Raoul N. Smith	1973	Mouton
Probabilistic models of cumulative damage	J. L. Bogdanoff	1985	Wiley
Probabilistic Choice Models and Information	Ronald W. Hilton	January 1985	Amer Accounting Assn
Probabilistic Graphical Models for Genetics, Genomics, and Postgenomics	Christine Sinoquet; Raphaël Mourad	2014	Oxford University Press
Probabilistic models for some intelligence and attainment tests	G. Rasch	1980	University of Chicago Press
Conformance Checking: Relating Processes and Models	Josep Carmona; Boudewijn van Dongen; Andreas Solti; Matthias Weidlich	1st ed. 2018	Springer International Publishing
Approaches to Probabilistic Model Learning for Mobile Manipulation Robots	Jürgen Sturm	2013	Springer Berlin Heidelberg
A probabilistic model for a specialized information retrieval system	Angel Fernando Kuri Morales	1976	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Symbolic Model Checking for Factored Probabilistic Models	David Deininger; Rayna Dimitrova; Rupak Majumdar	Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings	Cyrille Artho; Axel Legay; Doron Peled	1st ed. 2016	Springer International Publishing
Symbolic model checking for probabilistic processes	Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen; Marta Kwiatkowska; Mark Ryan	Automata, Languages and Programming: 24th International Colloquium, ICALP' 97, Bologna, Italy, July 7 - 11, 1997, Proceedings	Pierpaolo Degano; Roberto Gorrieri; Alberto Marchetti-Spaccamela	1997	Springer Berlin Heidelberg
ProbVerus: Probabilistic Symbolic Model Checking	Vicky Hartonas-Garmhausen; Sergio Campos; Ed Clarke	Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS' 99, Bamberg, Germany, May 26-28, 1999, Proceedings	Jost-Pieter Katoen	1999	Springer Berlin Heidelberg
Symbolic Model Checking for Probabilistic Timed Automata	Marta Kwiatkowska; Gethin Norman; Jeremy Sproston; Fuzhi Wang	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings	Yassine Lakhnech; Sergio Yovine	2004	Springer Berlin Heidelberg
Probabilistic Model Checking		Dependable software systems engineering	Esparza, Javier(Editor); Grumberg, Orna(Editor); Sickert, Salomon(Editor)	2016	Ios Pr Inc; IOS Press
Probabilistic Model Checking		Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, . . . in Information and Communication Technology)	Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf	2010	Springer
Probabilistic Model Checking of Incomplete Models	Shiraj Arora; M. V. Panduranga Rao	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2016	Springer International Publishing
Symbolic Model Checking	Kenneth L. McMillan	Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Symbolic Model Checking	Kenneth L. McMillan	Verification of Digital and Hybrid Systems	M. Kemal Inan; Robert P. Kurshan	2000	Springer Berlin Heidelberg
Symbolic Model Checking	Christoph Meinel; Thorsten Theobald	Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications	Christoph Meinel; Thorsten Theobald	1998	Springer Berlin Heidelberg
Symbolic model checking	E. Clarke; K. McMillan; S. Campos; V. Hartonas-Garmhausen	Computer Aided Verification: 8th International Conference, CAV ' 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings	Rajeev Alur; Thomas Henzinger	1996	Springer Berlin Heidelberg
Symbolic Model Checking	Béatrice Bérard; Michel Bidoit; Alain Finkel; François Laroussinie; Antoine Petit; Laure Petrucci et al.	Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Symbolic Model Checking	Adnan Aziz; Amit Prakash	Encyclopedia of Algorithms	Ming-Yang Kao	2nd ed. 2016	Springer New York
Symbolic Model Checking		Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Symbolic Model Checking	Adnan Aziz; Amit Prakash	Encyclopedia of Algorithms	Ming-Yang Kao	0th ed. 2020	Springer Berlin Heidelberg
Symbolic model checking		Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Optimizing Symbolic Model Checking for Constraint-Rich Models	Bwolen Yang; Reid Simmons; Randal E. Bryant; David R. O’Hallaron	Computer Aided Verification: 11th International Conference, CAV' 99, Trento, Italy, July 6-10, 1999, Proceedings	Nicolas Halbwachs; Doron Peled	1999	Springer Berlin Heidelberg
Symbolic Model Checking for Avionics		Formal Methods for Industrial Critical Systems: A Survey of Applications	Stefania Gnesi; Tiziana Margaria	2013	Wiley-IEEE Press
Advances in Symbolic Probabilistic Model Checking with PRISM	Joachim Klein; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz et al.	Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings	Marsha Chechik; Jean-François Raskin	1st ed. 2016	Springer Berlin Heidelberg
Parametric Probabilistic Model Checking		Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings	Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)	2013	Springer Nature.
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Symbolic Model Checking for Factored Probabilistic Models" - similar Books and Chapters