Search Results - Fremont, Daniel J.

Refine Results
  1. 1
    Scenic: a language for scenario specification and data generation

    Scenic: a language for scenario specification and data generation by Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.

    Published in Machine learning
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Guest Editorial: Special issue on robust machine learning

    Guest Editorial: Special issue on robust machine learning by Senanayake, Ransalu, Fremont, Daniel J., Kochenderfer, Mykel J., Lomuscio, Alessio R., Margineantu, Dragos, Ong, Cheng Soon

    Published in Machine learning
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems

    Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems by Salgado, Ivan F., Quijano, Nicanor, Fremont, Daniel J., Cardenas, Alvaro A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Distribution-Aware Sampling and Weighted Model Counting for SAT

    Distribution-Aware Sampling and Weighted Model Counting for SAT by Chakraborty, Supratik, Fremont, Daniel, Meel, Kuldeep, Seshia, Sanjit, Vardi, Moshe

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Maximum Model Counting

    Maximum Model Counting by Fremont, Daniel, Rabe, Markus, Seshia, Sanjit

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation

    Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation by Gittis, Andreas, Vin, Eric, Fremont, Daniel J

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Scenic: A Language for Scenario Specification and Scene Generation

    Scenic: A Language for Scenario Specification and Scene Generation by Fremont, Daniel J, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Entropy-Guided Control Improvisation

    Entropy-Guided Control Improvisation by Vazquez-Chanlatte, Marcell, Junges, Sebastian, Fremont, Daniel J, Seshia, Sanjit

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Control Improvisation

    Control Improvisation by Fremont, Daniel J, Donzé, Alexandre, Seshia, Sanjit A, Wessel, David

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Reactive Control Improvisation

    Reactive Control Improvisation by Fremont, Daniel J, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation

    A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation by Indaheng, Francis, Kim, Edward, Viswanadha, Kesav, Shenoy, Jay, Kim, Jinkyu, Fremont, Daniel J, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    3D Environment Modeling for Falsification and Beyond with Scenic 3.0

    3D Environment Modeling for Falsification and Beyond with Scenic 3.0 by Vin, Eric, Kashiwa, Shun, Rhea, Matthew, Fremont, Daniel J, Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Parallel and Multi-Objective Falsification with Scenic and VerifAI

    Parallel and Multi-Objective Falsification with Scenic and VerifAI by Viswanadha, Kesav, Kim, Edward, Indaheng, Francis, Fremont, Daniel J, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Addressing the IEEE AV Test Challenge with Scenic and VerifAI

    Addressing the IEEE AV Test Challenge with Scenic and VerifAI by Viswanadha, Kesav, Indaheng, Francis, Wong, Justin, Kim, Edward, Kalvan, Ellen, Pant, Yash, Fremont, Daniel J, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

    Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI by Fremont, Daniel J, Chiu, Johnathan, Margineantu, Dragos D, Osipychev, Denis, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Control Improvisation with Probabilistic Temporal Specifications

    Control Improvisation with Probabilistic Temporal Specifications by Akkaya, Ilge, Fremont, Daniel J, Valle, Rafael, Donzé, Alexandre, Lee, Edward A, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Scenic: A Language for Scenario Specification and Data Generation

    Scenic: A Language for Scenario Specification and Data Generation by Fremont, Daniel J, Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Control Improvisation

    Control Improvisation by Fremont, Daniel J, Donzé, Alexandre, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

    Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World by Fremont, Daniel J, Kim, Edward, Yash Vardhan Pant, Seshia, Sanjit A, Acharya, Atul, Bruso, Xantha, Wells, Paul, Lemke, Steve, Lu, Qiang, Mehta, Shalin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    On the Hardness of SAT with Community Structure

    On the Hardness of SAT with Community Structure by Mull, Nathan, Fremont, Daniel J, Seshia, Sanjit A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: