Search Results for Robotics.

42 sonuç bulundu

Tümünü Seç

1 2 3 4

000000DEFAULTTR

37.

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Yazar

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

https://doi.org/10.1007/978-3-030-33246-4

Format:

Electronic Resources

Alıntı:

Engineering -- Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in

38.

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Yazar

Lahiri, Shuvendu. editor.

https://doi.org/10.1007/978-3-319-67531-2

Format:

Electronic Resources

Alıntı:

Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive

39.

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

https://doi.org/10.1007/978-3-319-51676-9

Format:

Electronic Resources

Alıntı:

-- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype

40.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Yazar

Furia, Carlo A. editor.

https://doi.org/10.1007/978-3-319-98938-9

Format:

Electronic Resources

Alıntı:

Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake

41.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

https://doi.org/10.1007/978-3-030-01461-2

Format:

Electronic Resources

Alıntı:

Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt

42.

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03421-4

Format:

Electronic Resources

Alıntı:

: Collaborative Partners -- A Language-Independent Program Verification Framework -- Programming Safe Robotics

Tümünü Seç

1 2 3 4

42 sonuç bulundu

	{displayName}	{count}
{error}