Zum Inhalt springen

Steinhorst, Sebastian [Herausgeber:in]; Deshmukh, Jyotirmoy V. [Herausgeber:in] ; ASD 2. 2020 Online

2nd International Workshop on Autonomous Systems Design : ASD 2020, March 13, 2020, Grenoble, France, converted to a virtual event due to COVID-19, held in April 2020

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (frei zugänglich)

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2020

Erschienen in: Open access series in informatics ; 79
Steinhorst, Sebastian [Verfasser:in]; Deshmukh, Jyotirmoy V. [Verfasser:in] ; Sebastian Steinhorst and Jyotirmoy V. Deshmukh [Mitwirkende:r]

Front Matter, Table of Contents, Preface, Conference Organization

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Steinhorst, Sebastian [Verfasser:in]; Deshmukh, Jyotirmoy V. [Verfasser:in] ; Sebastian Steinhorst and Jyotirmoy V. Deshmukh [Mitwirkende:r]

OASIcs, Volume 79, ASD 2020, Complete Volume

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Deshmukh, Jyotirmoy V. [Herausgeber:in]; Havelund, Klaus [Herausgeber:in]; Perez, Ivan [Herausgeber:in]

NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings - [1st ed. 2022.]

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Erschienen in: Lecture Notes in Computer Science ; 13260
Deshmukh, Jyotirmoy V. [Verfasser:in]; Maler, Oded [Verfasser:in]; Nickovic, Dejan [Verfasser:in] ; Jyotirmoy V. Deshmukh and Oded Maler and Dejan Nickovic [Mitwirkende:r]

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
V. Deshmukh, Jyotirmoy

Formal Methods for Embedded Control Software: Some Recent Progress : Invited Presentation at the The First Workshop on Verification and Validation of Cyber-Physical Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2016

Erschienen in: Electronic Proceedings in Theoretical Computer Science, 232 (2016), Seite 9-11
Qin, Xin; Deshmukh, Jyotirmoy V.

Lecture Notes in Computer Science: Clairvoyant Monitoring for Signal Temporal Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Lecture Notes in Computer Science (2020), Seite 178-195
Alur, Rajeev; Deshmukh, Jyotirmoy V.

Automata, Languages and Programming: Nondeterministic Streaming String Transducers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Automata, Languages and Programming (2011), Seite 1-20
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Nenzi, Laura

Automated Technology for Verification and Analysis: Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

Erschienen in: Automated Technology for Verification and Analysis (2021), Seite 91-107
Kyriakis, Panagiotis; Deshmukh, Jyotirmoy V.; Bogdan, Paul

Specification Mining and Robust Design under Uncertainty : A Stochastic Temporal Logic Approach : A Stochastic Temporal Logic Approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2019

Erschienen in: ACM Transactions on Embedded Computing Systems, 18 (2019) 5s, Seite 1-21
Bonakdarpour, Borzoo; Deshmukh, Jyotirmoy V.; Pajic, Miroslav

Lecture Notes in Computer Science: Opportunities and Challenges in Monitoring Cyber-Physical Systems Security

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Lecture Notes in Computer Science (2018), Seite 9-18
Deshmukh, Jyotirmoy V.; Kyriakis, Panagiotis; Bogdan, Paul

Lecture Notes in Computer Science: Stochastic Temporal Logic Abstractions: Challenges and Opportunities

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Lecture Notes in Computer Science (2018), Seite 3-16
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat

Automated Technology for Verification and Analysis: Robustness Analysis of String Transducers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2013

Erschienen in: Automated Technology for Verification and Analysis (2013), Seite 427-441
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat

Lecture Notes in Computer Science: Robustness Analysis of Networked Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 229-247
Puranic, Aniruddh G.; Deshmukh, Jyotirmoy V.; Nikolaidis, Stefanos

Learning Performance Graphs From Demonstrations via Task-Based Evaluations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Erschienen in: IEEE Robotics and Automation Letters, 8 (2023) 1, Seite 336-343
Saidi, Selma; Ziegenbein, Dirk; Deshmukh, Jyotirmoy V.; Ernst, Rolf

Autonomous Systems Design: Charting a New Discipline

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2022

Erschienen in: IEEE Design & Test, 39 (2022) 1, Seite 8-23
Saidi, Selma; Ziegenbein, Dirk; Deshmukh, Jyotirmoy V.; Ernst, Rolf

Guest Editors’ Introduction: Special Issue on Autonomous Systems Design

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2022

Erschienen in: IEEE Design & Test, 39 (2022) 1, Seite 5-7
Puranic, Aniruddh G.; Deshmukh, Jyotirmoy V.; Nikolaidis, Stefanos

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2021

Erschienen in: IEEE Robotics and Automation Letters, 6 (2021) 4, Seite 6250-6257
Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao

Lecture Notes in Computer Science: DiffRNN: Differential Verification of Recurrent Neural Networks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

Erschienen in: Lecture Notes in Computer Science (2021), Seite 117-134
Dokhanchi, Adel; Amor, Heni Ben; Deshmukh, Jyotirmoy V.; Fainekos, Georgios

Runtime Verification: Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Runtime Verification (2018), Seite 409-416

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr