"Compositional Falsification of Cyber-Physical Systems with Machine Learning Components"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Cyber-Physical Systems	Basant Agarwal; Goncalo Marques; Janmenjoy Nayak; Mohammad S. Khan; Ramesh Poonia andSandeep Kumar	2022	Academic Press
Cyber-Physical Systems	Houbing Song; Danda B. Rawat; Sabina Jeschke and Christian Brecher	2017	Academic Press
Reinforcement Learning for Cyber-Physical Systems: with Cybersecurity Case Studies	Chong Li; Meikang Qiu	2019	Routledge
Heterogeneous Cyber Physical Systems of Systems	Ioannis Papaefstathiou; Alkis Hatzopoulos	2021	River Publishers
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2016	Jürgen Beyerer; Oliver Niggemann; Christian Kühnert	1st ed. 2017	Springer Berlin Heidelberg
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2015	Oliver Niggemann; Jürgen Beyerer	1st ed. 2016	Springer Berlin Heidelberg
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2018	Jürgen Beyerer; Christian Kühnert; Oliver Niggemann	1st ed. 2019	Springer Berlin Heidelberg
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2017	Jürgen Beyerer; Alexander Maier; Oliver Niggemann	1st ed. 2020	Springer Berlin Heidelberg
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2020	Jürgen Beyerer; Alexander Maier; Oliver Niggemann	1st ed. 2021	Springer Berlin Heidelberg
Cyber Security for Cyber Physical Systems	Saqib Ali; Taiseera Al Balushi; Zia Nadir; Omar Khadeer Hussain	1st ed. 2018	Springer International Publishing
Principles of Cyber-Physical Systems	Rajeev Alur	2015	MIT Press
Cyber-Physical Systems Security	Çetin Kaya Koç	1st ed. 2018	Springer International Publishing
Transportation Cyber-Physical Systems	Lipika Deka and Mashrur Chowdhury	2019	Elsevier
Securing Cyber-Physical Systems	Al-Sakib Khan Pathan	2015	Routledge
Applied Cyber-Physical Systems	Sang C. Suh; U. John Tanik; John N. Carbone; Abdullah Eroglu	2014	Springer New York
Cyber Security Meets Machine Learning	Xiaofeng Chen; Willy Susilo; Elisa Bertino	1st ed. 2021	Springer Nature Singapore
Real-time Applications of Machine Learning in Cyber-physical Systems (Advances in Computational Intelligence and Robotics)	Balamurugan Easwaran (editor), Kamal Kant Hiran (editor), Sangeetha Krishnan (editor), Ruchi Doshi (editor)	2022	Engineering Science Reference
Logical Foundations of Cyber-Physical Systems	André Platzer	1st ed. 2018	Springer International Publishing
Design Automation of Cyber-Physical Systems	Mohammad Abdullah Al Faruque; Arquimedes Canedo	1st ed. 2019	Springer International Publishing
Cyber-Physical Systems: A Reference	Xue Wang	0th ed. 2020	Springer Berlin Heidelberg
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
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components	Tommaso Dreossi; Alexandre Donzé; Sanjit A. Seshia	NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings	Clark Barrett; Misty Davies; Temesghen Kahsai	1st ed. 2017	Springer International Publishing
Compositional Falsification of Cyber-Physical Systems with Machine Learning Componen		NASA Formal Methods	Clark Barrett and Misty Davies	2017	Springer
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning	Takumi Akazaki; Shuang Liu; Yoriyuki Yamagata; Yihai Duan; Jianye Hao	Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings	Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink	1st ed. 2018	Springer International Publishing
Falsification of Cyber-Physical Systems with Constrained Signal Spaces	Benoît Barbot; Nicolas Basset; Thao Dang; Alexandre Donzé; James Kapinski; Tomoya Yamaguchi	NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings	Ritchie Lee; Susmit Jha; Anastasia Mavridou; Dimitra Giannakopoulou	1st ed. 2020	Springer International Publishing
Cybersecurity-Based Machine Learning for Cyber-Physical Systems	Mustapha Belaissaoui; Youssef Qasmaoui; Soufyane Mounir; Yassine Maleh	Security Engineering for Embedded and Cyber-Physical Systems	Saad Motahhir; Yassine Maleh	2022	Routledge
Machine learning and security in Cyber Physical Systems	Neha V. Sharma; Narendra Singh Yadav; Saurabh Sharma	Cyber-Physical Systems	Basant Agarwal; Goncalo Marques; Janmenjoy Nayak; Mohammad S. Khan; Ramesh Poonia andSandeep Kumar	2022	Academic Press
Gossiping Components for Cyber-Physical Systems	Tomas Bures; Ilias Gerostathopoulos; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plasil	Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings	Paris Avgeriou; Uwe Zdun	2014	Springer International Publishing
Cyber-Attack Detection in Cyber-Physical Systems Using Supervised Machine Learning	Prabhat Semwal; Akansha Handa	Handbook of Big Data Analytics and Forensics	Kim-Kwang Raymond Choo; Ali Dehghantanha	1st ed. 2022	Springer International Publishing
Machine Learning for Fostering Security in Cyber-Physical Systems	Akash Dhiman; Kanishk Gupta; Deepak Kumar Sharma	Security in Cyber-Physical Systems: Foundations and Applications	Ali Ismail Awad; Steven Furnell; Marcin Paprzycki; Sudhir Kumar Sharma	1st ed. 2021	Springer International Publishing
Anomaly Detection in Cyber-Physical Systems Using Machine Learning	Hossein Mohammadi Rouzbahani; Hadis Karimipour; Abolfazl Rahimnejad; Ali Dehghantanha; Gautam Srivastava	Handbook of Big Data Privacy	Kim-Kwang Raymond Choo; Ali Dehghantanha	1st ed. 2020	Springer International Publishing
- Compositional Design of Cyber-Physical Systems Using Port-Hamiltonian Systems	Danda B. Rawat; Joel J.P.C. Rodrigues; Ivan Stojmenovic	Cyber-Physical Systems: From Theory to Practice	Danda B. Rawat; Joel J.P.C. Rodrigues; Ivan Stojmenovic	2015	Routledge
Cyber Forensics with Machine Learning	Faisal Shahzad; Abdul Rehman Javed; Zunera Jalil; Farkhund Iqbal	Encyclopedia of Machine Learning and Data Science	Dinh Phung; Geoffrey I. Webb; Claude Sammut	0th ed. 2020	Springer US
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems	Simone Silvetti; Alberto Policriti; Luca Bortolussi	Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings	Nadia Polikarpova; Steve Schneider	1st ed. 2017	Springer International Publishing
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems	Shakiba Yaghoubi; Georgios Fainekos	Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers	Roger Chamberlain; Walid Taha; Martin Törngren	1st ed. 2019	Springer International Publishing
Compositional Verification for Autonomous Systems with Deep Learning Components	Corina S. Păsăreanu; Divya Gopinath; Huafeng Yu	Safe, Autonomous and Intelligent Vehicles	Huafeng Yu; Xin Li; Richard M. Murray; S. Ramesh; Claire J. Tomlin	1st ed. 2019	Springer International Publishing
Learning Fault Models of Cyber Physical Systems	Teck Ping Khoo; Jun Sun; Sudipta Chattopadhyay	Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings	Shang-Wei Lin; Zhe Hou; Brendan Mahony	1st ed. 2020	Springer International Publishing
Chapter 11: Preferences, Machine Learning, and Decision Support With Cyber-Physical Systems		Cyber-Physical Systems for Next-Generation Networks (Advances in Computer and Electrical Engineering (ACEE))	Amjad Gawanmeh (editor)	2018	IGI Global
Cyber-Physical Systems	Frank J. Furrer	Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development	Frank J. Furrer	1st ed. 2022	Springer Fachmedien Wiesbaden
Cyber-Physical Systems	Christian Hopmann; Mauritius Schmitz	Plastics Industry 4. 0	Christian Hopmann	2020	Hanser
Cyber-Physical Systems	Israel Koren; C. Mani Krishna	Fault-Tolerant Systems(Second Edition)	C. Mani Krishna and Israel Koren	2020	Morgan Kaufmann
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Compositional Falsification of Cyber-Physical Systems with Machine Learning Components" - similar Books and Chapters