|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario Gleirscher, Stefan Kugele, Sven Linker (eds.) |
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018.  |
SCAV@CPSWeek  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner |
Identification of Risk Significant Automotive Scenarios Under Hardware Failures. |
SCAV@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maike Schwammberger |
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. |
SCAV@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi |
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. |
SCAV@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalid Halba, Charif Mahmoudi, Edward Griffor |
Robust Safety for Autonomous Vehicles through Reconfigurable Networking. |
SCAV@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Schildbach |
On the Application of ISO 26262 in Control Design for Automated Vehicles. |
SCAV@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Kumar Bhadani, Jonathan Sprinkle, Matthew R. Bunting |
The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications. |
SCAV@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel B. Work, Raphael E. Stern, Fangyu Wu, Miles Churchill, Shumo Cui, Hannah Pohlmann, Benjamin Seibold, Benedetto Piccoli, Rahul Bhadani, Matt Bunting, Jonathan Sprinkle, Maria Laura Delle Monache, Nathaniel Hamilton, R'mani Haulcy |
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdulmalik Humayed, Bo Luo |
Using ID-Hopping to Defend Against Targeted DoS on CAN. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiheng Xu, Quanyan Zhu |
A Game-Theoretic Approach to Secure Control of Communication-Based Train Control Systems Under Jamming Attacks. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito |
Vehicle Platooning Simulations with Functional Reactive Programming. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Sajjad, Rajnikant Sharma, Ryan M. Gerdes |
A Game-Theoretic Approach and Evaluation of Adversarial Vehicular Platooning. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi |
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017 |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Koopman |
Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract. |
SCAV@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license