Forschungsbereich Cyber-Physical Systems

Organization Name (de) Name der Organisation (de)
E191-01 - Forschungsbereich Cyber-Physical Systems
 
Code Kennzahl
E191-01
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-20 of 778 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura WebMonitor: Verification of Web User InterfacesInproceedings Konferenzbeitrag 5-Jan-2023
2Hofmann, Till ; Schupp, Stefan Controlling timed automata against MTL specifications with TACoSArticle Artikel 2023
3Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina ; Caltais, Georgiana ; Schilling, Christian Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness PropertiesInproceedings Konferenzbeitrag 2023
4Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti Property-Based Mutation TestingInproceedings Konferenzbeitrag 2023
5Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Multi-Agent Spatial Predictive Control with Application to Drone FlockingInproceedings Konferenzbeitrag 2023
6Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti Search-based Testing for Accurate Fault Localization in CPSInproceedings Konferenzbeitrag 21-Dec-2022
7Bartocci-2022-FIM fault injection and mutation for Simulink-vor.pdf.jpgBartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti FIM: fault injection and mutation for SimulinkInproceedings Konferenzbeitrag 9-Nov-2022
8Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
9Berducci, Luigi ; Grosu, Radu Safe Policy Improvement in Constrained Markov Decision ProcessesInproceedings Konferenzbeitrag 17-Oct-2022
10Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Towards Drone Flocking Using Relative Distance MeasurementsInproceedings Konferenzbeitrag 17-Oct-2022
11Lemmel-2022-Deep-Learning vs Regression Prediction of Tourism Flow with Li...-am.pdf.jpgLemmel, Julian ; Babaiee, Zahra ; Kleinlehner, Marvin ; Majic, Ivan ; Neubauer, Philipp ; Scholz, Johannes ; Grosu, Radu ; Neubauer, Sophie Deep-Learning vs Regression: Prediction of Tourism Flow with Limited DataInproceedings Konferenzbeitrag 27-Jun-2022
12Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsInproceedings Konferenzbeitrag 20-May-2022
13Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Information-flow InterfacesInproceedings Konferenzbeitrag 29-Mar-2022
14Wilke, Lukas ; Dobe, Oyendrila ; Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsKonferenzbeitrag Inproceedings2022
15Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura Moment-based analysis of Bayesian network propertiesArtikel Article 2022
16Neufeld, Emery Reinforcement Learning Guided by Provable Normative ComplianceKonferenzbeitrag Inproceedings 2022
17Kirner, Raimund ; Puschner, Peter ; Unger, Herwig ; Schaible Marcel Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen AnwendungskontextenInproceedings Konferenzbeitrag 2022
18Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata On Normative Reinforcement Learning via Safe Reinforcement LearningInproceedings Konferenzbeitrag 2022
19Abate, Alessandro ; Blom, Henk ; Delicaris, Joanna ; Haesaert, Sofie ; Hartmanns, Arnd ; van Huijgevoort, Birgit ; Lavaei, Abolfazl ; Ma, Hao ; Niehage, Mathis ; Remke, Anne ; Schön, Oliver ; Schupp, Stefan ; Soudjani, Sadegh ; Willemsen, Lisa ; Frehse, Goran ; Matthias Althoff ; Schoitsch, Erwin ; Jeremie Guiochet ARCH-COMP22 Category Report: Stochastic ModelsInproceedings Konferenzbeitrag2022
20Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav Solving Invariant Generation for Unsolvable LoopsInproceedings Konferenzbeitrag 2022