"FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
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 Theory of Mean Field Games with Applications I: Mean Field FBSDEs, Control, and Games	René Carmona; François Delarue	1st ed. 2018	Springer International Publishing
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Hybrid Random Fields: A Scalable Approach to Structure and Parameter Learning in Probabilistic Graphical Models	Antonino Freno; Edmondo Trentin	2011	Springer Berlin Heidelberg
Operations Research: A Model-Based Approach	H. A. Eiselt; Carl-Louis Sandblom	2nd ed. 2013	Springer Berlin Heidelberg
Operations Research: A Model-Based Approach	H. A. Eiselt; Carl-Louis Sandblom	2010	Springer Berlin Heidelberg
Operations Research: A Model-Based Approach	H. A. Eiselt; Carl-Louis Sandblom	3rd ed. 2022	Springer International Publishing
Probabilistic Approach to Mechanisms	B.Z. Sandler	1984	Elsevier
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
Probabilistic Theory of Mean Field Games with Applications II: Mean Field Games with Common Noise and Master Equations	René Carmona; François Delarue	1st ed. 2018	Springer International Publishing
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data	Elisa Quintarelli	2004	Springer Berlin Heidelberg
Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications	Martin Pelikan; Kumara Sastry; Erick Cantú-Paz	2006	Springer Berlin Heidelberg
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,
Cyber-Physical Systems: A Model-Based Approach	Walid M. Taha; Abd-Elhamid M. Taha; Johan Thunberg	1st ed. 2021	Springer International Publishing
Model-based predictive control: a practical approach /	Rossiter, J. A.	©2003.	CRC Press,
Experiencing ministry supervision: a field-based approach		1995	Broadman & Holman
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
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation	Diego Latella; Michele Loreti; Mieke Massink	ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday	Joost-Pieter Katoen; Rom Langerak; Arend Rensink	1st ed. 2017	Springer International Publishing
Interpolation-Based 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.
A model-based approach to consistency-checking	Stefan Brüning; Torsten Schaub	Foundations of Intelligent Systems: 9th International Symposium, ISMIS' 96, Zakopane, Poland, June (9-13), 1996. Proceedings	Zbigniew W. Raś; Maciek Michalewicz	1996	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
Mean-Field Approximation	M. Carmen Romano; Ian Stansfield	Encyclopedia of Systems Biology	Werner Dubitzky; Olaf Wolkenhauer; Hiroki Yokota; Kwang-Hyun Cho	2013	Springer New York
Mean-Field Approximation	T. Hotta	Nanoscale Phase Separation and Colossal Magnetoresistance: The Physics of Manganites and Related Compounds	Elbio Dagotto	2003	Springer Berlin Heidelberg
Mean Field Approximation	Andreas Wipf	Statistical Approach to Quantum Field Theory: An Introduction	Andreas Wipf	2013	Springer Berlin Heidelberg
Mean Field Approximation	Andreas Wipf	Statistical Approach to Quantum Field Theory: An Introduction	Andreas Wipf	2nd ed. 2021	Springer International Publishing
Mean-Field Approximation		Introduction to the Modeling and Analysis of Complex Systems	Hiroki Sayama	2015	Open SUNY
Mean field approximation		Introduction to Physics Of Ultra Cold Gases	Baranov M.	2001
Mean-Field Approximation		Bayesian Analysis in Natural Language Processing	Shay Cohen; Graeme Hirst	2019	Morgan & Claypool
Mean-Field Approximation		Quantum kinetic theory	Bonitz, Michael	2016	Springer International Publishing : Imprint: Springer
66 NANOPRISM: A Tool Based on Probabilistic Model Checking		Nano, Quantum And Molecular Computing	Shukla, Bahar	2004	Kluwer
66 NANOPRISM: A Tool Based on Probabilistic Model Checking		Nano, Quantum And Molecular Computing-Implications To High Level Design And Validation	Shukla, Rahar	2004	Kluwer
66 NANOPRISM: A Tool Based on Probabilistic Model Checking		Nano, Quantum and Molecular Computing Implications to High Level Design and Validation	Shukla S.K., Bahar R.I. (eds.)	2004	Springer Science & Business Media
On-the-fly Fast Mean-Field Model-Checking	Diego Latella; Michele Loreti; Mieke Massink	Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers	Martín Abadi; Alberto Lluch Lafuente	2014	Springer International Publishing
A Scalable Probabilistic Approach to Trust Evaluation	Xiaoqing Zheng; Zhaohui Wu; Huajun Chen; Yuxin Mao	Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings	Ketil Stølen; William H. Winsborough; Fabio Martinelli; Fabio Massacci	2006	Springer Berlin Heidelberg
A Scalable Probabilistic Approach to Trust Evaluati		Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings	Cristiano Castelfranchi (auth.), Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.)	2006	Springer-Verlag Berlin Heidelberg
2 Model and Mean-Field Approximation		Current Topics in Atomic, Molecular and Optical Physics: Invited Lectures Delivered at the Conference on Atomic Molecular and Optical Physics	Chandana Sinha, Shibshankar Bhattacharyya	2006	World Scientific Publishing Company
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation" - similar Books and Chapters