A loop acceleration technique to speed up verification of automatically generated plans von Goldman, Robert P., Pelican, Michael J. S., Musliner, David J.

Volltext

A collective AI via lifelong learning and sharing at the edge von Soltoggio, Andrea, Ben-Iwhiwhu, Eseoghene, Braverman, Vladimir, Eaton, Eric, Epstein, Benjamin, Ge, Yunhao, Halperin, Lucy, How, Jonathan, Itti, Laurent, Jacobs, Michael A., Kantharaju, Pavan, Le, Long, Lee, Steven, Liu, Xinran, Monteiro, Sildomar T., Musliner, David, Nath, Saptarshi, Panda, Priyadarshini, Peridis, Christos, Pirsiavash, Hamed, Parekh, Vishwa, Roy, Kaushik, Shperberg, Shahaf, Siegelmann, Hava T., Stone, Peter, Vedder, Kyle, Wu, Jingfeng, Yang, Lin, Zheng, Guangyao, Kolouri, Soheil

Volltext

Imposing real-time constraints on self-adaptive controller synthesis von MUSLINER, David J

Volltext

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control von Goldman, Robert P., Bryce, Daniel, Pelican, Michael J. S., Musliner, David J., Bae, Kyungmin

Volltext

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis von Goldman, Robert P., Musliner, David J., Pelican, Michael J. S.

Volltext

Managing Online Self-adaptation in Real-Time Environments von Goldman, Robert P., Musliner, David J., Krebsbach, Kurt D.

Volltext

Computer program crash handling von Keller, Peter Kelly, Musliner, David John

Volltext bestellen

Delegation to Automation: Performance and Implications in Non-optimal Situations von Miller, Christopher A., Shaw, Tyler H., Hamell, Joshua D., Emfield, Adam, Musliner, David J., de Visser, Ewart, Parasurman, Raja

Volltext

Delegating to Automation: Performance, Complacency and Bias Effects under Non-Optimal Conditions von Miller, Christopher A., Shaw, Tyler, Emfield, Adam, Hamell, Joshua, deVisser, Ewart, Parasuraman, Raja, Musliner, David

Volltext

A collective AI via lifelong learning and sharing at the edge von Andrea Soltoggio, Eseoghene Ben-Iwhiwhu, Vladimir Braverman, Eric Eaton, Benjamin Epstein, Yunhao Ge, Lucy Halperin, Jonathan How, Laurent Itti, Michael A Jacobs, Pavan Kantharaju, Long Le, Steven Lee, Xinran Liu, Sildomar T Monteiro, David Musliner, Saptarshi Nath, Priyadarshini Panda, Christos Peridis, Hamed Pirsiavash, Vishwa Parekh, Kaushik Roy, Shahaf Shperberg, Hava T Siegelmann, Peter Stone, Kyle Vedder, Jingfeng Wu, Lin Yang, Guangyao Zheng, Soheil Kolouri

Volltext bestellen

World modeling for the dynamic construction of real-time control plans von Musliner, David J., Durfee, Edmund H., Shin, Kang G.

Volltext

Using model checking to guarantee safety in automatically-synthesized real-time controllers von Musliner, D.J., Goldman, R.P., Pelican, M.J.

Volltext

Methods and systems for defending against cyber-attacks von Keller, Peter Kelly, Musliner, David John, Friedman, Scott Ehrlich

Volltext bestellen

METHODS AND SYSTEMS FOR DEFENDING AGAINST CYBER-ATTACKS von FRIEDMAN, Scott Ehrlich, KELLER, Peter Kelly, MUSLINER, David John

Volltext bestellen

Self-Adaptive Software: First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers von Robertson, Paul, Shrobe, Howie, Laddaga, Robert

Volltext

Methods and systems for defending against cyber-attacks von Keller, Peter Kelly, Musliner, David John, Friedman, Scott Ehrlich

Volltext bestellen

Configurable spacecraft control architectures for on-orbit servicing and upgrading of long life orbital platforms von Ross, J., Musliner, D., Kreider, T., Jacobs, J., Fisher, M.

Volltext

Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER von Musliner, D. J., Rye, J. M., Marble, T.

Volltext bestellen

Building Coordinated Real-Time Control Plans von Musliner, David J., Pelican, Michael J. S., Krebsbach, Kurt D.

Volltext

Self-adaptive software for hard real-time environments von Musliner, David J, Goldman, Robert P, Pelican, Michael J, Krebsbach, Kurt D

Volltext