Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Collapsing Non-determinism in Typed Lambda- and Pi-calculi
van den Heuvel, Bas, Paulus, Joseph W N, Nantes-Sobrinho, Daniele, Pérez, Jorge A
Published in arXiv.org (14.03.2023)
Get full text
Published in arXiv.org (14.03.2023)
Paper
How friends and non-determinism affect opinion dynamics
Bhattacharyya, Arnab, Shiragur, Kirankumar
Published in 2015 54th IEEE Conference on Decision and Control (CDC) (01.12.2015)
Published in 2015 54th IEEE Conference on Decision and Control (CDC) (01.12.2015)
Get full text
Conference Proceeding
Why should they believe us? Determinism, non-determinism and evidence
Budgen, D.
Published in 19th Conference on Software Engineering Education & Training (CSEET'06) (2006)
Published in 19th Conference on Software Engineering Education & Training (CSEET'06) (2006)
Get full text
Conference Proceeding
Controller synthesis for linear temporal logic and steady-state specifications
Velasquez, Alvaro, Alkhouri, Ismail, Beckus, Andre, Trivedi, Ashutosh, Atia, George
Published in Autonomous agents and multi-agent systems (01.06.2024)
Published in Autonomous agents and multi-agent systems (01.06.2024)
Get full text
Journal Article
An Architecture for Experiments in Connected and Automated Vehicles
Kloock, Maximilian, Scheffe, Patrick, Gres, Ole, Alrifaee, Bassam
Published in IEEE Intelligent Vehicles Symposium (02.06.2024)
Published in IEEE Intelligent Vehicles Symposium (02.06.2024)
Get full text
Conference Proceeding
A Small Model Theorem for Bisimilarity Control Under Partial Observation
Changyan Zhou, Kumar, R.
Published in IEEE transactions on automation science and engineering (01.01.2007)
Published in IEEE transactions on automation science and engineering (01.01.2007)
Get full text
Journal Article