Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Ireland, Norman" wg kryterium: Autor


Tytuł :
Strategy Synthesis for Autonomous Agents Using PRISM
Autorzy :
Ruben Giaquinta
Ruth Hoffmann
Murray Ireland
Alice Miller
Gethin Norman
Pokaż więcej
Współwytwórcy :
David Hutchison
Takeo Kanade
Josef Kittler
Jon M. Kleinberg
Friedemann Mattern
John C. Mitchell
Moni Naor
C. Pandu Rangan
Bernhard Steffen
Demetri Terzopoulos
Doug Tygar
Gerhard Weikum
Aaron Dutle
César Muñoz
Anthony Narkawicz
Źródło :
NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. :220-236
Książka elektroniczna
Tytuł :
Autonomous Agent Behaviour Modelled in PRISM – A Case Study
Autorzy :
Ruth Murray Alice Gethin Sandor Hoffmann Ireland Miller Norman Veres
Pokaż więcej
Współwytwórcy :
David Hutchison
Takeo Kanade
Josef Kittler
Jon M. Kleinberg
Friedemann Mattern
John C. Mitchell
Moni Naor
C. Pandu Rangan
Bernhard Steffen
Demetri Terzopoulos
Doug Tygar
Gerhard Weikum
Dragan Bošnački
Anton Wijs
Źródło :
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. :104-110
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies